From fd4526c807d3f2107f9a1ce06a67ac839348af0b Mon Sep 17 00:00:00 2001
From: toy <toy>
Date: Thu, 21 Nov 2002 14:38:47 +0000
Subject: [PATCH] Comment out the latex2html stuff that we don't really support
 anymore.  Noted by Eric Marsden.

---
 docs/cmu-user/macros.tex | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/docs/cmu-user/macros.tex b/docs/cmu-user/macros.tex
index 22259151a..cd887081d 100644
--- a/docs/cmu-user/macros.tex
+++ b/docs/cmu-user/macros.tex
@@ -247,6 +247,7 @@
 %% boxes.
 \setlength{\emergencystretch}{5pt}
 
-\begin{htmlonly}
-\input{latex2html}
-\end{htmlonly}
+% These are for latex2html, which isn't really supported anymore.
+%\begin{htmlonly}
+%\input{latex2html}
+%\end{htmlonly}
-- 
GitLab