the Matita manual is now convertible to a decent .tex that is processable both

[helm.git] / matita / help / C / matita.xml

diff --git a/matita/help/C/matita.xml b/matita/help/C/matita.xml
index 41d763c9354658ca5fdb3b8fc699ae4eb69722db..8934ffffdb12f876cdddedec2f3b331cb5f15505 100644 (file)
--- a/matita/help/C/matita.xml
+++ b/matita/help/C/matita.xml
@@ -29,6 +29,7 @@
   <!ENTITY term "<emphasis><link linkend='term'>term</link></emphasis>">
   <!ENTITY match_pattern "<emphasis><link linkend='match_pattern'>match_pattern</link></emphasis>">
   <!ENTITY args "<emphasis><link linkend='args'>args</link></emphasis>">
+  <!ENTITY args2 "<emphasis><link linkend='args2'>args2</link></emphasis>">
   <!ENTITY sterm "<emphasis><link linkend='sterm'>sterm</link></emphasis>">
 ]>