Last fixes to documentation

potassco · Aug 7, 2024 · 419f1bb · 419f1bb
1 parent 5d1f9d4
commit 419f1bb
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 6 deletions.
diff --git a/docs/clinguin/help.rst b/docs/clinguin/help.rst
@@ -5,7 +5,7 @@
 ========================
 
 .. admonition:: **Logging**
-    :class: tip
+    :class: important
 
     The first thing to try when things are not working as expected is to turn on the logs and inspect the console.
     The log level can be set to ``DEBUG`` in the command line by adding the flag ``--server-log-level DEBUG``.

diff --git a/docs/conf.py b/docs/conf.py
@@ -38,7 +38,7 @@
 author = "Susana Hahn, Alexander Beiser"
 
 # The full version, including alpha/beta/rc tags
-release = "1.0.27"
+release = "1.0.28"
 
 # -- General configuration ---------------------------------------------------
 

diff --git a/examples/angular/placement/README.md b/examples/angular/placement/README.md
@@ -8,7 +8,7 @@ The option ` --opt-timeout 0` makes sure that one model is computed at a time to
 ## Usage
 
 ```
-clinguin client-server --domain-files placement/{instance.lp,encoding.lp} --ui-files placement/ui.lp --opt-timeout 0
+$ clinguin client-server --domain-files placement/{instance.lp,encoding.lp} --ui-files placement/ui.lp --opt-timeout 0
 ```
 
 

diff --git a/examples/angular/sudoku_advanced/README.md b/examples/angular/sudoku_advanced/README.md
@@ -1,4 +1,4 @@
-## Sudoku Explained
+# Sudoku Explained
 
 - **Backend**:   `ExplanationBackend`
 

diff --git a/setup.cfg b/setup.cfg
@@ -1,6 +1,6 @@
 [metadata]
 name = clinguin
-version = 1.0.27
+version = 1.0.28
 author = Alexander Beiser, Susana Hahn (Potassco)
 author_email = [email protected], [email protected]
 description = An interactive visualizer for clingo

diff --git a/tests/reference_json_output/health.py b/tests/reference_json_output/health.py
@@ -6,7 +6,7 @@ class Health:
     def get_reference_json(cls):
         json_dict = {
             "name": "clinguin",
-            "version": "1.0.27",
+            "version": "1.0.28",
             "description": "An interactive visualizer for clingo",
         }