diff options
Diffstat (limited to 'debian/patches/0004-no-timestamp-in-html-head.patch')
| -rw-r--r-- | debian/patches/0004-no-timestamp-in-html-head.patch | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/debian/patches/0004-no-timestamp-in-html-head.patch b/debian/patches/0004-no-timestamp-in-html-head.patch deleted file mode 100644 index 769487c..0000000 --- a/debian/patches/0004-no-timestamp-in-html-head.patch +++ /dev/null @@ -1,24 +0,0 @@ -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: https://github.com/joaotavora/yasnippet/pull/757 ---- - 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" /> |