indexterms, but we don't want to generate the index. Specifically, touch the ${INDEX_SGML} file if ${GEN_INDEX} is not set. Suggested by: Nik |
||
---|---|---|
.. | ||
examples/vim | ||
misc | ||
mk | ||
sgml | ||
web2c |
indexterms, but we don't want to generate the index. Specifically, touch the ${INDEX_SGML} file if ${GEN_INDEX} is not set. Suggested by: Nik |
||
---|---|---|
.. | ||
examples/vim | ||
misc | ||
mk | ||
sgml | ||
web2c |