diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 7e65efb8..6febd94e 100644 --- a/Makefile.in +++ b/Makefile.in @@ -6,6 +6,7 @@ # test run the full testsuite # install install to default location (/usr/local) # clean clean built binaries (not the documentation) +# clean-all clean as above, clean docs and generated files # # Tuning by variables (environment or make arguments): # V=1 verbose, print command lines (default: quiet) |