NRI : remove "exemple"

diff --git a/doc/html/Makefile.in b/doc/html/Makefile.in
index 812d7cdf1c8646ef6f6a56944b7ff3d3d912be6c..cd62723b52c0f9ff824daee6931a736ad3775505 100644 (file)
--- a/doc/html/Makefile.in
+++ b/doc/html/Makefile.in
@@ -25,7 +25,6 @@ doc:
        cd ..; \
        cp -fr $(srcdir)/INPUT/sources/static/*.* ./html/
        cp -fr $(srcdir)/INPUT/sources/ html/
-       cp -fr $(srcdir)/INPUT/exemple/ html/
        cp -fr $(srcdir)/INPUT/HTML/  html/
 
 clean: