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)
commit4f0fe36c47a43950f6f4df82630ef062976ebceb
treede059408d3d911f0b730ccaca40e5a41f916ede6
parentf0399db513ce2f12b94cd8aefe54be408d39fb62
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.
doc/Makefile.local