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