Restore bibliography in html documentation.

f66a1db2 · Guillaume Melquiond · a4d77dd5 · f66a1db2
Commit f66a1db2 authored Sep 21, 2012 by Guillaume Melquiond
--- a/Makefile.in
+++ b/Makefile.in
@@ -1238,6 +1238,7 @@ doc/manual.pdf: $(BNFTEX) $(DOCTEX) doc/manual.bib
 # the dependency on the pdf ensures the bbl was built
 doc/html/manual.html: doc/manual.pdf
 	cd doc; rm -rf html; mkdir -p html
+	cp doc/manual.bbl doc/html/
 	cd doc; $(HEVEA) -o html/manual.html -fix fix.hva makeidx.hva manual.tex

 doc/html/index.html: doc/html/manual.html