From 7f1b34ea1dc186b115fe3e1f1d4e64bbf0b8ab5d Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Wed, 4 Jul 2018 13:22:09 +0100
Subject: [PATCH] doc: fix generation of 1.10 manual html

---
 Shake.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Shake.hs b/Shake.hs
index 7b4c34149..cb702354b 100755
--- 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