diff options
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index cf5c845e..4511b07f 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -21,7 +21,7 @@ help: @echo " check Invoke build and then check the package" @echo " check-no-vignettes Invoke build without rebuilding vignettes, and then check" @echo " install Invoke build and then install the result" - @echo " install Invoke build without rebuilding vignettes and then install the result" + @echo " install-no-vignettes Invoke build without rebuilding vignettes and then install the result" @echo " test Install a new copy of the package and run it " @echo " through the testsuite" @echo " test-no-vignettes Invoke build without rebuilding vignettes, and then run it" |