restore colors in the html doc

4e666906 · MARCHE Claude · 8fc62b38 · 4e666906 · 4e666906
Commit 4e666906 authored Mar 25, 2016 by MARCHE Claude
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 2 deletions

doc/macros.tex doc/macros.tex +2 -1

share/latex/why3lang.sty share/latex/why3lang.sty +2 -1

No files found.
--- a/doc/macros.tex
+++ b/doc/macros.tex
@@ -43,7 +43,8 @@
 %%% listings for Why3 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


-\usepackage{../share/latex/why3lang}
+% cannot use \usepackage here because it breaks hevea (no colored keywords anymore :-()
+\input{../share/latex/why3lang.sty}

 % \RequirePackage{listings}
 % \RequirePackage{amssymb}

--- a/share/latex/why3lang.sty
+++ b/share/latex/why3lang.sty
@@ -22,7 +22,8 @@ commentstyle=\itshape,%
 columns=[l]fullflexible,%
 sensitive=true,%
 morecomment=[s]{(*}{*)},%
-escapeinside={*?}{?*},%
+%breaks hevea
+%escapeinside={*?}{?*},%
 keepspaces=true,%
 literate=%
 % {'a}{$\alpha$}{1}%