From e6556e4760e6bb74555ab90e6810c79316a92089 Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Sat, 6 Oct 2018 09:48:03 -1000 Subject: [PATCH] site: shake: also generate the 1.11 web manual [ci skip] --- Shake.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Shake.hs b/Shake.hs index cb702354b..1dd60c115 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", "1.10" ] + docversions = [ "1.0" , "1.1" , "1.2" , "1.3" , "1.4" , "1.5" , "1.9", "1.10", "1.11" ] -- manuals rendered to html by pandoc webhtmlpages