Commit a65e2836 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Fix output of backslashes in html documentation.

parent b37c6029
......@@ -1236,7 +1236,7 @@ doc/manual.pdf: $(BNFTEX) $(DOCTEX) doc/manual.bib
cd doc; $(RUBBER) --warn all --pdf manual.tex
# the dependency on the pdf ensures the bbl was built
doc/html/manual.html: doc/manual.pdf
doc/html/manual.html: doc/manual.pdf doc/fix.hva
cd doc; rm -rf html; mkdir -p html
cp doc/manual.bbl doc/html/
cd doc; $(HEVEA) -o html/manual.html -fix fix.hva makeidx.hva manual.tex
......
\usepackage{book}
\newcommand{\fontsize}[2]{}
\newcommand{\bs}{\textbackslash}
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