diff options
| -rw-r--r-- | doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index ca6f1cc9f7..71c2515766 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -205,7 +205,7 @@ Library.pdf: $(INPUTS) library.coqweb.tex Library.tex Library.html: $(INPUTS) library.coqweb.tex Library.tex hevea ./coq-html.sty $(COQWEBSTY)/coqweb.sty ./Library.tex -LIBDIRS= Logic Bool Arith Zarith Reals Lists Sets Relations \ +LIBDIRS= Logic Bool Arith ZArith Reals Lists Sets Relations \ Wellfounded IntMap library.coqweb.tex: library.files |