From 87bd109651e6dc572b787de10c78433ba0a88003 Mon Sep 17 00:00:00 2001
From: Pekka Riikonen <priikone@silcnet.org>
Date: Tue, 22 Oct 2002 13:52:16 +0000
Subject: [PATCH] 	Typo fixes.

---
 doc/Makefile.am.pre     | 23 +++++++++++++++++++----
 scripts/silcdoc/silcdoc |  4 +++-
 2 files changed, 22 insertions(+), 5 deletions(-)

diff --git a/doc/Makefile.am.pre b/doc/Makefile.am.pre
index e7a3e3e3..ce321a00 100644
--- a/doc/Makefile.am.pre
+++ b/doc/Makefile.am.pre
@@ -42,15 +42,30 @@ dist-hook:
 	touch draft-riikonen-presence-attrs-00.txt
 else
 if SILC_DIST_TOOLKIT
-dist-hook:
-	-@if test -f ../util/robodoc/Source/robodoc ; then \
+toolkit-ref-html:
+	-@if test -f $(SILC_TOP_SRCDIR)/util/robodoc/Source/robodoc ; then \
 	  echo Generating Toolkit Reference Manual ; \
 	  rm -rf toolkit ; mkdir toolkit ; cd ../scripts/silcdoc ; \
-	  ./silcdoc HTML ../../lib/ ../../doc/toolkit \
-	  ../../util/robodoc/Source/robodoc ; \
+	  ./silcdoc HTML ../../lib/ $(SILC_TOP_SRCDIR)/doc/toolkit \
+	  $(SILC_TOP_SRCDIR)/util/robodoc/Source/robodoc ; \
+	else  \
+	  echo ROBODoc is not compiled! Cannot generate documentation! ; \
+        fi
+
+toolkit-ref-ps:
+	-@if test -f $(SILC_TOP_SRCDIR)/util/robodoc/Source/robodoc ; then \
+	  echo Generating Toolkit Reference Manual ; \
+	  cd ../scripts/silcdoc ; \
+	  ./silcdoc PS ../../lib/ $(SILC_TOP_SRCDIR)/doc/toolkit.ps \
+	  $(SILC_TOP_SRCDIR)/util/robodoc/Source/robodoc ; \
 	else  \
 	  echo ROBODoc is not compiled! Cannot generate documentation! ; \
         fi
+
+toolkit-ref-pdf:
+	-ps2pdf $(SILC_TOP_SRCDIR)/doc/toolkit.ps $(SILC_TOP_SRCDIR)/doc/toolkit.pdf
+
+dist-hook: toolkit-ref-html
 	touch draft-riikonen-silc-spec-05.txt
 	touch draft-riikonen-silc-pp-05.txt
 	touch draft-riikonen-silc-ke-auth-05.txt
diff --git a/scripts/silcdoc/silcdoc b/scripts/silcdoc/silcdoc
index 6c3ed178..3bf1cccb 100755
--- a/scripts/silcdoc/silcdoc
+++ b/scripts/silcdoc/silcdoc
@@ -78,6 +78,7 @@ if [ "$TYPE" = "PS" ]; then
   cd $path
 
   rm -rf /tmp/silcdoc.tex
+  exit 0
 fi
 
 #
@@ -202,11 +203,12 @@ if [ "$TYPE" = "HTML" ]; then
   sh gen.sh $DST gen_index.php 2 $DST/index.html $DST/index.html
 
   # Generate the index toolkit_index.html file
-  $ROBO /tmp/silcdoc.html/silcdoc_xref $DST/toolkit_index.html INDEX HTML TITLE "SILC Toolkit Index"
+  $ROBO $DST/silcdoc_xref $DST/toolkit_index.html INDEX HTML TITLE "SILC Toolkit Index"
   sh gen.sh $DST gen_index.php 2 $DST/toolkit_index.html $DST/toolkit_index.html
 
   # Cleanup
   rm -rf $DST/index.html.tmp
   rm -rf /tmp/silcdoc.html
   rm -rf /tmp/silcdoc_html.html
+  exit 0
 fi
-- 
2.24.0