html.dsl: Change filename extension

HTML extension is what the build expects. Signed-off-by: Oscar Andreasson <oscar.andreasson@pelagicore.com>
frznlogic · Apr 25, 2018 · 5be9928 · 5be9928
1 parent 90e3ea8
commit 5be9928
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/styles/html.dsl b/styles/html.dsl
@@ -15,6 +15,12 @@
 ;; sheet.  Definitions inserted in this file take precedence over
 ;; definitions in the 'use'd stylesheet(s).
 
+(define %html-ext%
+ ".html")
+
+;;(define %root-filename%
+;; #t)
+
 (define %title-font-family%
  "Arial")
 (define %body-font-family%