From a0277a8d4320d95c1256624a9e2a7427af95eb64 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Sun, 7 Jun 2020 12:46:09 -0700
Subject: [PATCH] ;shake: docversions no longer used

---
 Shake.hs | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/Shake.hs b/Shake.hs
index bb74c7a70..378ca4c44 100755
--- a/Shake.hs
+++ b/Shake.hs
@@ -150,9 +150,6 @@ main = do
     -- NAMES, FILES, URIS..
 
     let
-      -- documentation versions shown on the website
-      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", "1.15", "1.16" ]
-
       -- main package names, in standard build order
       packages = [
          "hledger-lib"