ladanyi@542: ## TODO: Doxyfile should be generated from Doxyfile.in by configure. This way
ladanyi@542: ## the value of PROJECT_NAME, PROJRCT_NUMBER, PERL_PATH, etc. could be
ladanyi@542: ## substituted in configure-time.
ladanyi@542: 
ladanyi@542: htmldir = $(datadir)/doc/@PACKAGE@-@VERSION@/html
ladanyi@542: ## htmldir = $(pkgdatadir)/doc
ladanyi@542: 
ladanyi@1310: EXTRA_DIST = html mainpage.dox getstart.dox quicktour.dox \
alpar@1177: 	demoprograms.dox graphs.dox undir_graphs.dox named-param.dox \
alpar@1177:         maps.dox coding_style.dox groups.dox namespaces.dox license.dox \
alpar@1401: 	developers_interface.dox graph_io.dox dirs.dox graph-adaptors.dox
alpar@1177: 
ladanyi@542: 
ladanyi@562: ## all-local: html/index.html
ladanyi@542: 
ladanyi@542: ## TODO: 'html/index.html' should depend on the files listed in Doxyfile's
ladanyi@542: ## INPUT variable.
ladanyi@1310: html/index.html:
klao@1450: 	if test ${doxygen_found} = yes; then \
klao@1450: 	  doxygen Doxyfile; \
klao@1451: 	  cp $(srcdir)/icons/geom/ftv2* html; \
klao@1450: 	fi
ladanyi@542: 
ladanyi@542: ## This is needed to make 'make dist' work even if the 'html' subdirectory
ladanyi@542: ## does not exist.
ladanyi@542: html: html/index.html
ladanyi@542: 
ladanyi@542: clean-local:
ladanyi@542: 	-rm -rf html
ladanyi@542: 
ladanyi@542: install-data-local: html/index.html
ladanyi@542: 	@$(NORMAL_INSTALL)
ladanyi@542: 	$(mkinstalldirs) $(DESTDIR)$(htmldir)
alpar@1400: 	@dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
ladanyi@542: 	  f="`echo $$p | sed -e 's|^.*/||'`"; \
ladanyi@542: 	  echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f"; \
ladanyi@542: 	  $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f; \
ladanyi@542: 	done
ladanyi@542: 
ladanyi@542: uninstall-local: html/index.html
ladanyi@542: 	@$(NORMAL_UNINSTALL)
alpar@1400: 	@dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
ladanyi@542: 	  f="`echo $$p | sed -e 's|^.*/||'`"; \
ladanyi@542: 	  echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \
ladanyi@542: 	  rm -f $(DESTDIR)$(htmldir)/$$f; \
ladanyi@542: 	done