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 @@