diff doc/manual/manual.tex @ 72:2b89d8497aad

- html manual work
author cslag
date Sun, 13 Mar 2016 21:08:59 +0100
parents 3e629dc19168
children 8326c5ced916
line wrap: on
line diff
--- a/doc/manual/manual.tex	Mon Mar 07 01:45:36 2016 +0100
+++ b/doc/manual/manual.tex	Sun Mar 13 21:08:59 2016 +0100
@@ -46,6 +46,13 @@
 		#1%
 	\fi%
 }
+\newcommand{\casehtml}[2]{%
+	\ifx\HCode\Undef%
+		#2%
+	\else%
+		#1%
+	\fi%
+}
 
 
 % Packages.
@@ -67,9 +74,7 @@
 \newcommand{\dc}{\emph{dyncall}}
 \newcommand{\capi}[1]{%
 	\noindent%
-%	\begin{verbatim}%
 		{\tt #1}%
-%	\end{verbatim}%
 }
 \newcommand{\tab}{\indent}