diff options
| author | Ian Lynagh <igloo@earth.li> | 2008-03-02 14:04:08 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2008-03-02 14:04:08 +0000 |
| commit | c0d0b2d9fa2cb812f61ad3f8048feb82919a1974 (patch) | |
| tree | f92c5e95ad9b7d492996e8ab1dea2ac83b5a26d6 /distrib | |
| parent | 288213d7c2c65fa68ca466c1a1a3378e24fa1151 (diff) | |
| download | haskell-c0d0b2d9fa2cb812f61ad3f8048feb82919a1974.tar.gz | |
In bindists, look in the right place to see if we have provided docs
Fixes trac #1971: unjustified warning about documentation
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 |