doc: fix generation of 1.10 manual html

simonmichael · Jul 4, 2018 · 7f1b34e · 7f1b34e
1 parent 91c487d
commit 7f1b34e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Shake.hs b/Shake.hs
@@ -138,7 +138,7 @@ main = do
       webmanpages = ["site" </> manpageNameToUri m <.> "md" | m <- manpageNames]
 
       -- versions of documentation (excluding 0.27)
-      docversions = [ "1.0" , "1.1" , "1.2" , "1.3" , "1.4" , "1.5" , "1.9" ]
+      docversions = [ "1.0" , "1.1" , "1.2" , "1.3" , "1.4" , "1.5" , "1.9", "1.10" ]
 
       -- manuals rendered to html by pandoc
       webhtmlpages