diff options
Diffstat (limited to 'debian/patches')
-rw-r--r-- | debian/patches/0004-no-timestamp-in-html-head.patch | 24 | ||||
-rw-r--r-- | debian/patches/series | 1 |
2 files changed, 25 insertions, 0 deletions
diff --git a/debian/patches/0004-no-timestamp-in-html-head.patch b/debian/patches/0004-no-timestamp-in-html-head.patch new file mode 100644 index 0000000..8bcf048 --- /dev/null +++ b/debian/patches/0004-no-timestamp-in-html-head.patch @@ -0,0 +1,24 @@ +From: Sean Whitton <spwhitton@spwhitton.name> +Date: Fri, 9 Dec 2016 21:28:56 -0700 +Subject: no timestamp in html head + +Makes the documentation build reproducible. + +Forwarded: no +--- + doc/org-setup.inc | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/doc/org-setup.inc b/doc/org-setup.inc +index 6ad09c9..60b9382 100644 +--- a/doc/org-setup.inc ++++ b/doc/org-setup.inc +@@ -4,7 +4,7 @@ + + #+LINK: sym file:snippet-reference.org::#%s + +-#+OPTIONS: author:nil num:nil ++#+OPTIONS: author:nil num:nil timestamp:nil + #+AUTHOR: + # org < 8.0 use +STYLE, after use +HTML_HEAD + #+STYLE: <link rel="stylesheet" type="text/css" href="stylesheets/manual.css" /> diff --git a/debian/patches/series b/debian/patches/series index 4f6da10..9d6a280 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,3 +1,4 @@ 0001-typos-and-grammar.patch 0002-Avoiding-having-git-as-a-building-dependency.patch 0003-Debian-yas-installed-snippets-dir.patch +0004-no-timestamp-in-html-head.patch |