From 40200b60a6f2cb86c94fc62de4b9fe18621382b5 Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Fri, 30 Aug 2019 08:00:21 -0700 Subject: [PATCH] ;site: also drop 0.27 manual from shake scripts [ci skip] --- Shake.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Shake.hs b/Shake.hs index 7539def63..2b7e561dd 100755 --- a/Shake.hs +++ b/Shake.hs @@ -157,7 +157,7 @@ main = do let -- documentation versions shown on the website - docversions = [ "0.27", "1.0" , "1.1" , "1.2" , "1.3" , "1.4" , "1.5" , "1.9", "1.10", "1.11", "1.12", "1.13", "1.14" ] + docversions = [ "1.0" , "1.1" , "1.2" , "1.3" , "1.4" , "1.5" , "1.9", "1.10", "1.11", "1.12", "1.13", "1.14" ] -- main package names, in standard build order packages = [