Commit be7dc911 authored by Ilias Tsitsimpis's avatar Ilias Tsitsimpis

frown: Add patch 'fix-pdf-generation'

Due to an error in the way Makefile produces the doc files, the
Manual.pdf file was not generated correctly. This has been fixed
by patching the Makefile.
parent fd8ba912
......@@ -12,6 +12,10 @@ frown (0.6.2.3-2) UNRELEASED; urgency=medium
* Disable dbgsym generation.
GHC cannot produce debugging symbols, so the dbgsym package ends
up being empty.
* Add patch 'fix-pdf-generation'.
Due to an error in the way Makefile produces the doc files, the
Manual.pdf file was not generated correctly. This has been fixed
by patching the Makefile.
-- Ilias Tsitsimpis <i.tsitsimpis@gmail.com> Wed, 18 May 2016 16:36:18 +0300
......
Description: Do not override the Manual.dvi file
When generating the html pages, the Manual.dvi file gets overwritten
meaning that the next time make will be run, the Manual.pdf file will
be generated again. In addition, since this dvi file has now been
produced using different flags for the lhs2Tex program, the result
is different from the expected one. Fix that by making the html
target depend on the Manual.dvi one and not rebuilting that file.
Author: Ilias Tsitsimpis <i.tsitsimpis@gmail.com>
---
This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
Index: b/Manual/Makefile
===================================================================
--- a/Manual/Makefile
+++ b/Manual/Makefile
@@ -102,14 +102,7 @@ gv : $(file).ps
acro : $(file).pdf
/opt/Acrobat7/acroread $(file).pdf &
-html: $(file).lhs $(file).fmt $(sessions)
- lhs2TeX --math $(file).lhs > $(file).tex
- latex $(file)
- bibtex $(file)
- latex $(file)
- latex $(file)
- latex $(file)
-# the above commands are only used to produce a `.bbl' file
+html: $(file).lhs $(file).fmt $(file).dvi $(sessions)
lhs2TeX --tt -lhtml=True $(file).lhs > $(file).tex
hevea -fix $(file).tex
hevea -fix $(file).tex
05_only-build-pdf
fix-pdf-generation
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment