diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -121,6 +121,8 @@ $(DOCBIN): cmd_help: $(DOCBIN) @for cmd in annotate combine debug erase html json report run xml; do \ echo > doc/help/$$cmd.rst; \ + echo ".. This file is auto-generated by \"make dochtml\", don't edit it manually." >> doc/help/$$cmd.rst; \ + echo >> doc/help/$$cmd.rst; \ echo ".. code::" >> doc/help/$$cmd.rst; \ echo >> doc/help/$$cmd.rst; \ echo " $$ coverage $$cmd --help" >> doc/help/$$cmd.rst; \ |