diff options
| author | Clint Adams <clint@debian.org> | 2017-07-06 23:20:11 -0400 |
|---|---|---|
| committer | Clint Adams <clint@debian.org> | 2017-07-06 23:20:11 -0400 |
| commit | 5095f68a863df9672b8cd797d9dee333a0ede5e2 (patch) | |
| tree | 8f43a4eb73ac5b05928d209f842a76ef198da908 /p/xmonad | |
| parent | 3e9655b1474017a3edf5474a70f017d739429559 (diff) | |
| download | DHG_packages-5095f68a863df9672b8cd797d9dee333a0ede5e2.tar.gz | |
xmonad: patch to build with pandoc older than 1.19. closes: #867386.
Diffstat (limited to 'p/xmonad')
| -rw-r--r-- | p/xmonad/debian/changelog | 6 | ||||
| -rw-r--r-- | p/xmonad/debian/patches/older-pandoc | 22 | ||||
| -rw-r--r-- | p/xmonad/debian/patches/series | 1 |
3 files changed, 29 insertions, 0 deletions
diff --git a/p/xmonad/debian/changelog b/p/xmonad/debian/changelog index 3346b35d1..a9b34af9a 100644 --- a/p/xmonad/debian/changelog +++ b/p/xmonad/debian/changelog @@ -1,3 +1,9 @@ +xmonad (0.13-2) unstable; urgency=medium + + * Patch to build with pandoc older than 1.19. closes: #867386. + + -- Clint Adams <clint@debian.org> Thu, 06 Jul 2017 23:18:52 -0400 + xmonad (0.13-1) unstable; urgency=medium [ Ilias Tsitsimpis ] diff --git a/p/xmonad/debian/patches/older-pandoc b/p/xmonad/debian/patches/older-pandoc new file mode 100644 index 000000000..90627b0ba --- /dev/null +++ b/p/xmonad/debian/patches/older-pandoc @@ -0,0 +1,22 @@ +The API for this changed in pandoc 1.19, which we do not have yet. + +--- a/util/GenerateManpage.hs ++++ b/util/GenerateManpage.hs +@@ -79,7 +79,7 @@ + Right template <- getDefaultTemplate Nothing "man" + writeFile "./man/xmonad.1" + . (manHeader ++) +- . writeMan def{ writerTemplate = Just template } ++ . writeMan def{ writerTemplate = template } + $ parsed + putStrLn "Documentation created: man/xmonad.1" + +@@ -92,7 +92,7 @@ + "<p>Section: xmonad manual (1)<br/>"++ + "Updated: "++releaseDate++"</p>"++ + "<hr/>")] +- , writerTemplate = Just template ++ , writerTemplate = template + , writerTableOfContents = True } + $ parsed + putStrLn "Documentation created: man/xmonad.1.html" diff --git a/p/xmonad/debian/patches/series b/p/xmonad/debian/patches/series index 1863ecb6d..fd8bb4be2 100644 --- a/p/xmonad/debian/patches/series +++ b/p/xmonad/debian/patches/series @@ -1,2 +1,3 @@ use_x-terminal-emulator.patch #haddock-fixes.patch +older-pandoc |