X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcontent_pres%2FMakefile;h=5d43e18ab50eaff4d835cdc3ee650e83823a6c90;hb=8b4a227cafd6707cf466c02606b2f1f3f6b60219;hp=0cd8b4226f763100b6c19beb76080536e7084d4d;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git diff --git a/helm/software/components/content_pres/Makefile b/helm/software/components/content_pres/Makefile index 0cd8b4226..5d43e18ab 100644 --- a/helm/software/components/content_pres/Makefile +++ b/helm/software/components/content_pres/Makefile @@ -56,5 +56,6 @@ cicNotationParser.cmx: SYNTAXOPTIONS = $(MY_SYNTAXOPTIONS) cicNotationLexer.ml.annot: SYNTAXOPTIONS = $(MY_SYNTAXOPTIONS) cicNotationParser.ml.annot: SYNTAXOPTIONS = $(MY_SYNTAXOPTIONS) depend: SYNTAXOPTIONS = $(MY_SYNTAXOPTIONS) +depend.opt: SYNTAXOPTIONS = $(MY_SYNTAXOPTIONS) #