summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès2008-02-08 15:46:38 +0100
committerLudovic Courtès2008-02-08 15:46:38 +0100
commit0e83965d07d8c7badfc00bb10a732849fcb04b18 (patch)
tree3553c90dbf5475f6af10d8a2eec26cddf516e723
parent4dd26d91b2c8cf60211c01ae8512689a23de607d (diff)
downloadskribilo-0e83965d07d8c7badfc00bb10a732849fcb04b18.tar.gz
skribilo-0e83965d07d8c7badfc00bb10a732849fcb04b18.tar.lz
skribilo-0e83965d07d8c7badfc00bb10a732849fcb04b18.zip
doc: Don't delete the `lout' dir when srcdir = builddir.
* doc/user/Makefile.am (clean-local): Test whether srcdir = builddir before running "rm -rf lout". Reported by Barrie Stott.
-rw-r--r--doc/user/Makefile.am3
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/user/Makefile.am b/doc/user/Makefile.am
index 797bc45..9ff8880 100644
--- a/doc/user/Makefile.am
+++ b/doc/user/Makefile.am
@@ -105,4 +105,5 @@ uninstall-local:
# not listed in `CLEANFILES'.
clean-local:
-rm -f user-*.html *.eps *.png
- -rm -rf "lout"
+ -if test "$(top_builddir)" != "$(top_srcdir)"; \
+ then rm -rf "lout" ; else : ; fi