From f10d9fa181876d9e730cd30bf6331d354aa114db Mon Sep 17 00:00:00 2001
From: michael <michael@freepascal.org>
Date: Tue, 2 Feb 1999 22:31:47 +0000
Subject: [PATCH] + minor changes

---
 docs/fpc-html.tex | 3 +++
 docs/ref.tex      | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/docs/fpc-html.tex b/docs/fpc-html.tex
index 6df8a00159..16836af319 100644
--- a/docs/fpc-html.tex
+++ b/docs/fpc-html.tex
@@ -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}%
+}
\ No newline at end of file
diff --git a/docs/ref.tex b/docs/ref.tex
index c998ec39a5..56e90a65ea 100644
--- a/docs/ref.tex
+++ b/docs/ref.tex
@@ -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}