From: David Bremner <david@tethera.net>
Date: Sun, 21 Apr 2019 17:00:18 +0000 (-0300)
Subject: doc: use stamp file for html docs
X-Git-Tag: archive/debian/0.29_rc0-1~98
X-Git-Url: https://git.cworth.org/git?a=commitdiff_plain;h=4f0fe36c47a43950f6f4df82630ef062976ebceb;hp=4f0fe36c47a43950f6f4df82630ef062976ebceb;p=notmuch

doc: use stamp file for html docs

These are less time consuming than the texi docs to rebuild (because
the texi rebuild triggers info rebuild), but still take noticable time.
---