Justin M. Keyes ff18d3b827 build/doc: generate vimindex.html ...

This note in runtime/doc/Makefile explains the special-case:

    index.html is the starting point for HTML, but for the help files it
    is help.txt.  Therefore use vimindex.html for index.txt.

fix #8907

2018-08-25 15:25:49 +02:00

892 B

Raw Blame History

View Raw