[project @ 2000-01-05 11:06:23 by rrt]

[ghc-hetmet.git] / ghc / docs / users_guide / Makefile

diff --git a/ghc/docs/users_guide/Makefile b/ghc/docs/users_guide/Makefile
index 3e78ce8..a45ac78 100644 (file)
--- a/ghc/docs/users_guide/Makefile
+++ b/ghc/docs/users_guide/Makefile
@@ -5,10 +5,6 @@ ifeq "$(BIN_DIST)" "1"
 install :: html dvi info
 endif
 
-# Split up the pages on a per-sect2 basis. Big HTML docs
-# are a pain to flick through and use.
-SRC_SGML2HTML_OPTS += -s 1
-
 SGML_DOC = users_guide
 
 # Generating index is semi-automatic, you need to: