doc: Split revhistory to separate file for html docs
authorKeith Packard <keithp@keithp.com>
Sun, 1 Nov 2015 12:22:27 +0000 (04:22 -0800)
committerKeith Packard <keithp@keithp.com>
Sun, 1 Nov 2015 14:02:14 +0000 (06:02 -0800)
This avoids having the revhistory clutter the top of the document.

Signed-off-by: Keith Packard <keithp@keithp.com>

No differences found