From c0d0b2d9fa2cb812f61ad3f8048feb82919a1974 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Sun, 2 Mar 2008 14:04:08 +0000 Subject: [PATCH] In bindists, look in the right place to see if we have provided docs Fixes trac #1971: unjustified warning about documentation --- distrib/Makefile | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/distrib/Makefile b/distrib/Makefile index ee8fc28..5b4d994 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 -- 1.7.10.4