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