NRI : Add static directory.

diff --git a/doc/html/Makefile.in b/doc/html/Makefile.in
index d364ac76dc3c7aeccff54c1226ef9aa492d2e5dc..9a87b93abf7deb7f7f15005e1b55114fa5fcb84a 100644 (file)
--- a/doc/html/Makefile.in
+++ b/doc/html/Makefile.in
@@ -21,7 +21,7 @@ doc:
        mv -f doxyfile1 doxyfile; \
        $(doxygen) ./doxyfile; \
        cd ..; \
-       cp -f $(srcdir)/INPUT/sources/doxygen.css ./html/doxygen.css
+       cp -fr $(srcdir)/INPUT/sources/static/*.* ./html/
        cp -fr $(srcdir)/INPUT/sources/ html/
        cp -fr $(srcdir)/INPUT/HTML/  html/