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" />