@@ -1,7 +1,7 @@
-# The REDUCE Reference Manual
-
-latex redhelp
-latex redhelp
-latex redhelp
-makeindex redhelp
-latex redhelp
+# The REDUCE Reference Manual
+
+latex redhelp
+latex redhelp
+latex redhelp
+makeindex redhelp
+latex redhelp