doc: fix generation of 1.10 manual html

2018-07-04 13:22:09 +01:00 · 2018-07-04 13:22:09 +01:00 · 7f1b34ea1d
commit 7f1b34ea1d
parent 91c487d4c2
1 changed files with 1 additions and 1 deletions
--- 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