Commit f091aad9 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Restore compilation of documentation.

parent 6cbf9668
......@@ -1857,7 +1857,7 @@ ifeq (@enable_doc@,yes)
doc: doc/manual.pdf doc/html/index.html
BNF = ident qualid attribute constant operator type term1 term2 term3 \
BNF = ident qualid attribute constant operator type formula term1 term2 term3 \
theory theory2 \
why_file spec expr expr2 module whyml_file term_old_at
BNFTEX = $(BNF:%=doc/%_bnf.tex)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment