Commit 9aed1fbc authored by Guillaume Melquiond's avatar Guillaume Melquiond

Merge branch 'bugfix/v0.88' into next

parents d02aed18 cef795db
......@@ -251,12 +251,12 @@ endif
# hide deprecated warnings for strings
src/util/strings.cmo:: WARNINGS:=$(WARNINGS)-3
src/util/strings.cmx:: WARNINGS:=$(WARNINGS)-3
src/util/strings.cmo: WARNINGS:=$(WARNINGS)-3
src/util/strings.cmx: WARNINGS:=$(WARNINGS)-3
# hide warning 'no cmx file was found in path for module ..., and its interface was not compiled with -opaque' for the coq tactic
src/coq-tactic/why3tac.cmx:: WARNINGS:=$(WARNINGS)-58
src/coq-tactic/why3tac.cmx: WARNINGS:=$(WARNINGS)-58
# build targets
......@@ -1782,7 +1782,8 @@ apidot: doc/apidoc/dg.svg doc/apidoc/dg.png
doc/apidoc/dg.dot: doc/apidoc $(FILESTODOC)
$(OCAMLDOC) -o doc/apidoc/dg.dot.tmp -dot $(INCLUDES) \
$(LIBINCLUDES) -I lib/why3 $(FILESTODOC)
sed -e "s/ \(size\|ratio\|rotate\|fontsize\).*$$//" doc/apidoc/dg.dot.tmp > doc/apidoc/dg.dot
sed -e "s/ \(size\|ratio\|rotate\|fontsize\).*$$//" doc/apidoc/dg.dot.tmp \
| tred > doc/apidoc/dg.dot
rm -f doc/apidoc/dg.dot.tmp
doc/apidoc/dg.svg: doc/apidoc/dg.dot
......
......@@ -5,7 +5,7 @@
\newcommand{\vfill}{}
\newcommand{\hrulefill}{}
\newcommand{\null}{}
\newcommand{\path}[1]{\texttt{#1}}
\def\path{\begingroup\urlstyle{tt}\Url}
\renewcommand{\framebox}[1]{#1}
\makeatletter
......
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