doc: generate README.html instead of index.html
commit400b56761a697461ed03db1dc45857a47e53ed84
authorEric Wong <e@80x24.org>
Mon, 22 Dec 2014 01:38:24 +0000 (22 01:38 +0000)
committerEric Wong <e@80x24.org>
Mon, 22 Dec 2014 01:38:24 +0000 (22 01:38 +0000)
treeab72380e4194a4902ff197ed5b23273048578ede
parentbba2dacf020ded938ad5c7ba4143bef317f30ba0
doc: generate README.html instead of index.html

This allows us to generate links without caring about discoverability
and remains reasonably WYSIWYG for folks editing our documentation in
their favorite $EDITOR
Documentation/include.mk