diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2016-12-09 21:30:29 -0700 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2016-12-09 21:30:29 -0700 |
| commit | 07adbce746ef2f4cd5b1a6b0d010469016f65d14 (patch) | |
| tree | 3e2b2e83adddd70397480f8c85acd19ea2171670 | |
| parent | 8d321b0c0fa5aef2a80c7d115199956c3578cab6 (diff) | |
add 0004-no-timestamp-in-html-head.patch
| -rw-r--r-- | debian/changelog | 1 | ||||
| -rw-r--r-- | debian/patches/0004-no-timestamp-in-html-head.patch | 24 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
3 files changed, 26 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 4159435..5f2054d 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,6 +1,7 @@ yasnippet (0.11.0-2) UNRELEASED; urgency=medium * Add missing Vcs-* fields. + * Add 0004-no-timestamp-in-html-head.patch for a reproducible build. -- Sean Whitton <spwhitton@spwhitton.name> Wed, 30 Nov 2016 14:40:38 -0700 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 |