Index: wvstreams-4.6/Docs/sgmlmanual/HTML.dsl
===================================================================
--- wvstreams-4.6.orig/Docs/sgmlmanual/HTML.dsl	2009-07-29 11:51:22.000000000 -0400
+++ wvstreams-4.6/Docs/sgmlmanual/HTML.dsl	2009-07-29 11:51:44.000000000 -0400
@@ -10,7 +10,7 @@
 ;; your stuff goes here...
 ;;(define %gentext-nav-use-ff% 1)
 (define %use-id-as-filename% 1)
-
+(define %html-ext% ".html")
 
 </style-specification-body>
 </style-specification>