From 075fc87375cdfb82db62164b330e40eb90e94a68 Mon Sep 17 00:00:00 2001 From: Bert de Jong Date: Fri, 12 Dec 2003 17:09:54 +0000 Subject: [PATCH] Added PDF file to html setup. --- doc/prog/prog.search | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/prog/prog.search b/doc/prog/prog.search index 18e26075b9..f99849dfc3 100644 --- a/doc/prog/prog.search +++ b/doc/prog/prog.search @@ -18,6 +18,7 @@ Search: +

PDF

Compressed postscript Part 1

Compressed postscript Part 2

Postscript Part 1