Fix pb of make distcheck

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 6eae2243c5523b3ba30b7985e6db710680049e07..9d467299f1a178a52b963294bd5240680a98755d 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -93,6 +93,7 @@ uninstall-local:
 clean-local:
        -rm -rf doctrees
        if test -d "html"; then rm -rf html ; fi
+       if test -d "latex"; then rm -rf latex ; fi
 
 dist-hook:
        if test -d "html"; then b=; else b="$(srcdir)/"; fi; \