Commit ed16c887 authored by POTTIER Francois's avatar POTTIER Francois

Build the HTML documentation by default.

parent cc667a61
......@@ -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
all: main.pdf main.html
%.pdf: %.tex $(DEPS)
pdflatex $*
......
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