diff options
| -rw-r--r-- | doc/user/Makefile.am | 3 |
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 |