7 docdirs = $(srcdir)/tutorial
13 # rule to build documentation and copy necessary files
25 # rule to install the html documentation and tutorial in $(htmldir)
27 @if ! test -d "$(DESTDIR)$(htmldir)"; then \
28 echo "$(mkinstalldirs) '$(DESTDIR)$(htmldir)'"; \
29 $(mkinstalldirs) '$(DESTDIR)$(htmldir)'; \
31 @for d in $(docdirs); do \
32 echo "cp -pR $$d '$(DESTDIR)$(htmldir)/'"; \
33 cp -pR $$d '$(DESTDIR)$(htmldir)/'; \
37 @for d in $(docdirs); do \
39 echo "test ! -d '$(DESTDIR)$(htmldir)/'$$d || { find '$(DESTDIR)$(htmldir)/'$$d -type d ! -perm -200 -exec chmod u+w '{}' ';' && rm -rf '$(DESTDIR)$(htmldir)/'$$d; }"; \
40 test ! -d '$(DESTDIR)$(htmldir)/'$$d || { find '$(DESTDIR)$(htmldir)/'$$d -type d ! -perm -200 -exec chmod u+w '{}' ';' && rm -rf '$(DESTDIR)$(htmldir)/'$$d; }; \
42 rmdir "$(DESTDIR)$(htmldir)/" || true