## TODO: Doxyfile should be generated from Doxyfile.in by configure. This way

 ## the value of PROJECT_NAME, PROJRCT_NUMBER, PERL_PATH, etc. could be

 ## substituted in configure-time.

 htmldir = $(datadir)/doc/@PACKAGE@-@VERSION@/html

 ## htmldir = $(pkgdatadir)/doc

 EXTRA_DIST = Doxyfile html coding_style.dox groups.dox mainpage.dox maps.dox

 ## all-local: html/index.html

 ## TODO: 'html/index.html' should depend on the files listed in Doxyfile's

 ## INPUT variable.

 html/index.html: Doxyfile

 	-rm -rf html

 	doxygen Doxyfile

 ## This is needed to make 'make dist' work even if the 'html' subdirectory

 ## does not exist.

 html: html/index.html

 clean-local:

 	-rm -rf html

 install-data-local: html/index.html

 	@$(NORMAL_INSTALL)

 	$(mkinstalldirs) $(DESTDIR)$(htmldir)

 	@dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx ; do \

 	  f="`echo $$p | sed -e 's|^.*/||'`"; \

 	  echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f"; \

 	  $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f; \

 	done

 uninstall-local: html/index.html

 	@$(NORMAL_UNINSTALL)

 	@dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx ; do \

 	  f="`echo $$p | sed -e 's|^.*/||'`"; \

 	  echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \

 	  rm -f $(DESTDIR)$(htmldir)/$$f; \

 	done