From 865a4822c371d6aefa7d57628f5b6ba152f223d3 Mon Sep 17 00:00:00 2001
From: interp <interp>
Date: Thu, 29 Aug 2002 14:34:57 +0000
Subject: [PATCH] add info-gateway to example server

---
 start-web-server                   | 5 ++++-
 web-server/root/htdocs/index2.html | 7 +++++--
 2 files changed, 9 insertions(+), 3 deletions(-)

diff --git a/start-web-server b/start-web-server
index 34f5504..1647376 100755
--- a/start-web-server
+++ b/start-web-server
@@ -12,6 +12,7 @@ exec scsh -lm packages.scm -dm -o http-test -e main -s "$0" "$@"
 	cgi-server
 	seval-handler
 	rman-gateway
+	info-gateway
 	let-opt
         scsh             
         scheme)          
@@ -133,7 +134,9 @@ exec scsh -lm packages.scm -dm -o http-test -e main -s "$0" "$@"
 	       (list (cons "h" (home-dir-handler "public_html"))
 		     (cons "seval" seval-handler) 
 		     (cons "man" (rman-handler #f "man?%s(%s)" 
-					       "bernauer@informatik.uni-tuebingen.de"))
+					       "Generated by rman-gateway"))
+		     (cons "info" (info-handler #f #f #f
+						"Generated by info-gateway"))
 		     (cons "cgi-bin" (cgi-handler cgi-bin-dir)))
 	       (rooted-file-or-directory-handler htdocs-dir)))))))))
 ))
diff --git a/web-server/root/htdocs/index2.html b/web-server/root/htdocs/index2.html
index 4dbdb20..ecc8d6f 100644
--- a/web-server/root/htdocs/index2.html
+++ b/web-server/root/htdocs/index2.html
@@ -11,8 +11,11 @@
       <li><a href=seval.html>Computing Scheme Forms
 	  Interactively</a></li>
       <li><a href=man?man>Get a man page</a><br>
-	  (provided a matching man page installation;<br>
+	  (needs a matching man page installation;<br>
 	&nbsp;see httpd/rman-gateway.scm for details)</li>
+      <li><a href=info?(dir)Top>Get the dir info page</a><br>
+	  (needs a matching info page installation;<br>
+	  &nbsp;among others, we need non-gzipped info pages)</li>
       <li><a href=files/text.txt>Text file</a></li>
       <li><a href=files>Directory</a></li>
       <li><a href=files/zipped.gz>Compressed File</a></li>
@@ -25,7 +28,7 @@
     <hr>
     <!-- Created: Thu Aug 22 16:44:16 CEST 2002 -->
     <!-- hhmts start -->
-Last modified: Thu Aug 29 12:51:43 CEST 2002
+Last modified: Thu Aug 29 16:37:20 CEST 2002
 <!-- hhmts end -->
   </body>
 </html>