Commit bb30f942 authored by Gabriel Scherer's avatar Gabriel Scherer

GNUmakefile: also deploy PNG figures for the HTML manual

parent 2cedbfeb
......@@ -143,6 +143,7 @@ package: clean
@ make -C $(PACKAGE)/doc clean all
@ mv $(PACKAGE)/doc/main.pdf $(PACKAGE)/manual.pdf
@ mv $(PACKAGE)/doc/main.html $(PACKAGE)/manual.html
@ mv $(PACKAGE)/doc/manual-figure*.png $(PACKAGE)/
@ mv $(PACKAGE)/doc/menhir.1 $(PACKAGE)/
# Include a copy of the sources of the documentation,
# as Debian requires this for the PDF to be included
......@@ -212,7 +213,11 @@ PAGE := /home/fpottier/dev/page
# Copier l'archive et la doc vers yquem.
$(RSYNC) $(TARBALL) $(PACKAGE)/manual.pdf $(PACKAGE)/manual.html $(TARGET)
$(RSYNC) \
$(PACKAGE)/manual.pdf \
$(PACKAGE)/manual.html $(PACKAGE)/manual-figure*.png \
# Mettre jour la page Web de Menhir avec le nouveau numro de version.
cd $(PAGE) && \
cvs up && \
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