Lang???.gf: exclude Documentation from present mode

The Documentation module is excluded from present mode in abstract/Lang.gf,
so it needs to be excluded in the corresponding concrete syntaxes too
to avoid problems.
This commit is contained in:
hallgren
2014-10-23 16:32:55 +00:00
parent e788398bf7
commit ef9f16b63a
11 changed files with 13 additions and 13 deletions

View File

@@ -3,7 +3,7 @@
concrete LangIta of Lang =
GrammarIta,
LexiconIta
,DocumentationIta
,DocumentationIta --# notpresent
,ConstructionIta
** {