Commit ec812f45 authored by BOLDO Sylvie's avatar BOLDO Sylvie

Modified Makefile to create all the html files

parent 8841d22e
......@@ -20,6 +20,9 @@ AC_CHECK_TOOL(COQC, coqc)
AC_ARG_VAR(COQDEP, [Coq dependency analyzer command [coqdep]])
AC_CHECK_TOOL(COQDEP, coqdep)
AC_ARG_VAR(COQDOC, [Coq documentation tool [coqdoc]])
AC_CHECK_TOOL(COQDOC, coqdoc)
if test "$libdir" = '${exec_prefix}/lib'; then
libdir='`$(COQC) -where`/user-contrib/Flocq'
fi
......
......@@ -63,4 +63,8 @@ uninstall-local:
@$(NORMAL_UNINSTALL)
test -z "$(datadir)" || rm -rf "$(DESTDIR)$(datadir)/$$p"
html: $(FILES:=o)
@mkdir -p ../html
$(COQDOC) -toc -g -R . Flocq -d ../html -t 'Flocq' --coqlib 'http://coq.inria.fr/library/' $(FILES)
-include $(FILES:=d)
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