Commit 9c3ce3bb authored by POTTIER Francois's avatar POTTIER Francois

Merge branch 'francois' of git+ssh://scm.gforge.inria.fr//gitroot/menhir/menhir into francois

parents dcecdd3d 374ded7d
......@@ -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
......@@ -72,7 +72,7 @@ let table_interface =
ttoken
)
);
IIComment "The entry points to the incremental API.";
IIComment "The entry point(s) to the incremental API.";
IIValDecls (
StringSet.fold (fun symbol decls ->
(incremental symbol, entrytypescheme_incremental symbol) :: decls
......
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