]> git.cworth.org Git - notmuch/commitdiff
doc: use stamp file for html docs
authorDavid Bremner <david@tethera.net>
Sun, 21 Apr 2019 17:00:18 +0000 (14:00 -0300)
committerDavid Bremner <david@tethera.net>
Wed, 24 Apr 2019 09:53:13 +0000 (06:53 -0300)
These are less time consuming than the texi docs to rebuild (because
the texi rebuild triggers info rebuild), but still take noticable time.


No differences found