doc/Makefile.am
changeset 2163 bef3457be038
parent 2119 4cf25c61ea65
child 2196 09af6d2b683b
equal deleted inserted replaced
20:075a93afa7aa 21:f9e9c8a9885f
    46 	-rm -f doc/doxygen.log
    46 	-rm -f doc/doxygen.log
    47 
    47 
    48 doc/html:
    48 doc/html:
    49 	$(MAKE) $(AM_MAKEFLAGS) doc-clean
    49 	$(MAKE) $(AM_MAKEFLAGS) doc-clean
    50 
    50 
       
    51 if WANT_DOC
       
    52 
    51 install-data-local: doc/html
    53 install-data-local: doc/html
    52 	@$(NORMAL_INSTALL)
    54 	@$(NORMAL_INSTALL)
    53 	$(mkinstalldirs) $(DESTDIR)$(htmldir)
    55 	$(mkinstalldirs) $(DESTDIR)$(htmldir)
    54 	@dir='doc/html'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.gif $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
    56 	@dir='doc/html'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.gif $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
    55 	  f="`echo $$p | sed -e 's|^.*/||'`"; \
    57 	  f="`echo $$p | sed -e 's|^.*/||'`"; \
    63 	  f="`echo $$p | sed -e 's|^.*/||'`"; \
    65 	  f="`echo $$p | sed -e 's|^.*/||'`"; \
    64 	  echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \
    66 	  echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \
    65 	  rm -f $(DESTDIR)$(htmldir)/$$f; \
    67 	  rm -f $(DESTDIR)$(htmldir)/$$f; \
    66 	done
    68 	done
    67 
    69 
       
    70 endif WANT_DOC
       
    71 
    68 .PHONY: doc doc-clean
    72 .PHONY: doc doc-clean