From cce2e0df5dee3e9c1806bc7e64bed95032405519 Mon Sep 17 00:00:00 2001
From: Sean Whitton <spwhitton@spwhitton.name>
Date: Fri, 9 Dec 2016 21:28:56 -0700
Subject: [PATCH] Make the documentation build reproducible

* doc/org-setup.inc: Disable timestamp in HTML output.

Copyright-paperwork-exempt: yes
---
 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" />