Merge pull request #560 from LPCIC/fix-doc

Update tutorial_coq_elpi_command.v
LPCIC · Dec 8, 2023 · 4a852c0 · 4a852c0
2 parents eed07eb + c8848b6
commit 4a852c0
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/etc/tutorial_style.rst b/etc/tutorial_style.rst
@@ -40,6 +40,9 @@
 .. role:: libtype(elpi-type)
    :src: LPCIC coq-elpi master elpi/coq-lib.elpi
 
+.. role:: libtype-common(elpi-type)
+   :src: LPCIC coq-elpi master elpi/coq-lib-common.elpi
+
 .. role:: stdtype(elpi-type)
    :src: LPCIC coq-elpi master elpi-builtin.elpi
 

diff --git a/examples/tutorial_coq_elpi_command.v b/examples/tutorial_coq_elpi_command.v
@@ -617,7 +617,7 @@ the string :e:`"33"`.
 
 Attributes are usually validated (parsed) and turned into regular options
 using :lib-common:`coq.parse-attributes` and a description of their types using 
-the :libtype:`attribute-type` data type:
+the :libtype-common:`attribute-type` data type:
 
 |*)