Zygo Blaxell 012219bbfb docs: derive docs/index.md from README.md ...

The two files are identical except README.md links to docs/* while
index.md links to *.

A sed script can do that transformation, so use sed to do it.

This does modify a file in git, but this is necessary to make all
the Github views work consistently.

Signed-off-by: Zygo Blaxell <bees@furryterror.org>

2018-11-22 21:21:29 -05:00

371 B

Raw Blame History

View Raw