Commit be8cd23c authored by POTTIER Francois's avatar POTTIER Francois

Merge branch 'html-doc-2' into 'master'

Html doc 2

See merge request !5
parents 70328180 6778798d
......@@ -141,8 +141,9 @@ package: clean
@ cp -r doc $(PACKAGE)
@ echo '\gdef\menhirversion{$(DATE)}' > $(PACKAGE)/doc/version.tex
@ 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.pdf $(PACKAGE)/manual.pdf
@ mv $(PACKAGE)/doc/manual.html $(PACKAGE)/manual.html
@ mv $(PACKAGE)/doc/manual*.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
export:
# Copier l'archive et la doc vers yquem.
$(RSYNC) $(TARBALL) $(PACKAGE)/manual.pdf $(PACKAGE)/manual.html $(TARGET)
$(RSYNC) \
$(TARBALL) \
$(PACKAGE)/manual.pdf \
$(PACKAGE)/manual.html $(PACKAGE)/manual*.png \
$(TARGET)
# Mettre jour la page Web de Menhir avec le nouveau numro de version.
cd $(PAGE) && \
cvs up && \
......
......@@ -7,9 +7,9 @@
*.toc
*.fdb_latexmk
*.fls
main.pdf
manual.pdf
*.haux
*.htoc
main.image.tex
main[0-9][0-9][0-9].png
main.html
manual.image.tex
manual[0-9][0-9][0-9].png
manual.html
......@@ -6,7 +6,7 @@ DEPS = $(wildcard *.tex) $(wildcard *.bib) $(wildcard *.sty) $(wildcard *.mly)
SED := $(shell if hash gsed 2>/dev/null ; then echo gsed ; else echo sed ; fi)
all: main.pdf main.html
all: manual.pdf manual.html
%.pdf: %.tex $(DEPS)
pdflatex $*
......@@ -14,15 +14,19 @@ all: main.pdf main.html
pdflatex $*
pdflatex $*
main.html: main.tex $(DEPS) $(wildcard *.hva)
hevea -fix main.tex
@# Hevea interprets 'tabbing' environment in a way
@# that creates spacing errors in the rendered output
@# of "textual version of derivation trees": it
@# asks for (padding:0px;) while the TeX rendering
@# inserts spacing between columns. Change this
@# to {padding:1px;}
$(SED) -i -e "s/cellpadding0/cellpadding1/" main.html
manual.html: manual.tex $(DEPS) $(wildcard *.hva)
hevea -fix manual.tex
#
# Hevea interprets 'tabbing' environment in a way
# that creates spacing errors in the rendered output
# of "textual version of derivation trees": it
# asks for (padding:0px;) while the TeX rendering
# inserts spacing between columns. Change this
# to {padding:1px;}
$(SED) -i -e "s/cellpadding0/cellpadding1/" manual.html
#
# Note: hevea generates images manual00{1,2,3}.png for the tikz pictures
# present in the manual.
loop:
latexmk -pdf -pvc main
......
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