From ccd2cfa4d910af276757653dcd16f9f819fbfe0d Mon Sep 17 00:00:00 2001
From: emarsden <emarsden>
Date: Mon, 3 Feb 2003 10:06:52 +0000
Subject: [PATCH] Publishing the User's Manual as HTML (using hevea):   - add a
 prefix to the <title>   - function names are rendered in <tt>   - copyright
 notice in the footer

</first-commit> !
---
 docs/cmu-user/cmu-user.hva | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/docs/cmu-user/cmu-user.hva b/docs/cmu-user/cmu-user.hva
index 9ea276d72..3f6126c1e 100644
--- a/docs/cmu-user/cmu-user.hva
+++ b/docs/cmu-user/cmu-user.hva
@@ -28,7 +28,7 @@
 
 \newcommand{\fcntype}[1]{\@open{TT}{class=function-type}#1\@close{TT}}
 \newcommand{\argtype}[1]{\@open{TT}{class=argument-type}#1\@close{TT}}
-\newcommand{\fcnname}[1]{\@open{I}{class=function-name}#1\@close{I}}
+\newcommand{\fcnname}[1]{\@open{TT}{class=function-name}#1\@close{TT}}
 \newcommand{\var}[1]{\@open{TT}{class=variable}#1\@close{TT}}
 \newcommand{\code}[1]{\@open{TT}{class=code}#1\@close{TT}}
 \newcommand{\file}[1]{\@open{TT}{class=filename}#1\@close{TT}}
@@ -139,8 +139,8 @@
 % <a href="../../">CMUCL</a> -&gt
 % <a href="../">Documentation</a> <br>}
 % \@hr[NOSHADE]{.8\linewidth}{}\@print{<br>}}
-% \htmlfoot{\@hr[NOSHADE]{.8\linewidth}{}
-% \copyright{} 1995-2001 CMUCL Project}
+\htmlfoot{\@hr[NOSHADE]{.99\linewidth}{}
+\copyright{} 1995-2003 CMUCL Project}
 
 
 \let\orig@meta=\@meta
@@ -156,6 +156,7 @@
 % instead of machine-generated numbers
 \let\orig@input\input
 \renewcommand{\input}[1]{\orig@input{#1}\cutname{#1.html}}
+\htmlprefix{CMUCL User's Manual: }
 
 
 % generate HTML with section headers on a blue background
-- 
GitLab