+ minor changes

This commit is contained in:
michael 1999-02-02 22:31:47 +00:00
parent 88db484b31
commit f10d9fa181
2 changed files with 4 additions and 1 deletions

View File

@ -99,3 +99,6 @@
\newcommand{\seet}[1]{table (\ref{tab:#1}) }
\newcommand{\seec}[1]{chapter (\ref{ch:#1}) }
\newcommand{\sees}[1]{section (\ref{se:#1}) }
\htmladdtonavigation{%
\htmladdnormallink{\htmladdimg{../buttons/search.gif}}{../search.html}%
}

View File

@ -30,7 +30,7 @@
%
% syntax style
%
\input{syntax/diagram.tex}
\latex{\input{syntax/diagram.tex}}
\latex{\usepackage{fpc}}
\latex{\usepackage{listings}\blankstringtrue%
\selectlisting{tp}\stringstyle{\ttfamily}\keywordstyle{\bfseries}