diff options
Diffstat (limited to 'distrib')
| -rw-r--r-- | distrib/Makefile | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/distrib/Makefile b/distrib/Makefile index ee8fc28150..5b4d994a0a 100644 --- a/distrib/Makefile +++ b/distrib/Makefile @@ -46,11 +46,8 @@ denounce: ifneq "$(GREPPED_PATH)" "" @echo To use, add $(bindir) to your PATH. @echo -endif - @if test -f share/html/index.html; then \ + @if test -f $(htmldir)/index.html; then \ echo For documentation, see $(htmldir)/index.html ; \ - elif test -d share/html ; then \ - echo Docs can be found in $(htmldir). ; \ else \ echo "Warning: this binary distribution does NOT contain documentation!" ; \ fi |