Commit 374ded7d authored by POTTIER Francois's avatar POTTIER Francois

Updated the Makefiles to create and export IncrementalEngine.ml.html.

parent 62056139
......@@ -148,6 +148,7 @@ check:
RSYNC := scp -p -C
TARGET := yquem.inria.fr:public_html/menhir/
PAGE := /home/fpottier/dev/page
API := convert.mli.html IncrementalEngine.ml.html
export:
# Copier l'archive et la doc vers yquem.
......@@ -155,7 +156,7 @@ export:
$(RSYNC) $(PACKAGE)/manual.pdf $(TARGET)
$(RSYNC) CHANGES $(TARGET)
# Copier l'API vers la page Web.
cd src && $(RSYNC) convert.mli.html $(TARGET)
cd src && $(RSYNC) $(API) $(TARGET)
# Mettre jour la page Web de Menhir avec le nouveau numro de version.
cd $(PAGE) && \
sed --in-place=.bak "s/menhir-[0-9][0-9][0-9][0-9][0-9][0-9][0-9][0-9]/$(PACKAGE)/" menhir.xml && \
......
......@@ -4,3 +4,5 @@ _stage1
_stage2
_stage3
installation.ml
*.ml.html
*.mli.html
......@@ -15,11 +15,14 @@ installation.ml:
# ----------------------------------------------------------------------------
# Pretty-printing the MenhirLib.Convert API.
api: convert.mli.html
api: convert.mli.html IncrementalEngine.ml.html
%.mli.html: %.mli
caml2html -nf $<
%.ml.html: %.ml
caml2html -nf $<
clean::
rm -f *.mli.html
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