doc/Makefile.am
author hegyi
Fri, 17 Jun 2005 12:25:53 +0000
changeset 1501 39d59aee2a1a
parent 1479 5b64e502e5b3
child 1545 e8378402f97e
permissions -rw-r--r--
Very small bug is corrected: if node creator tool is active, the small red arrows won't move, if you click on them and if you drag the newly created node... 'was hard to notice it :-)
ladanyi@1487
     1
htmldir = $(datadir)/doc/$(DOCSUFFIX)/html
ladanyi@542
     2
ladanyi@1479
     3
EXTRA_DIST = html icons mainpage.dox getstart.dox quicktour.dox \
alpar@1177
     4
	demoprograms.dox graphs.dox undir_graphs.dox named-param.dox \
ladanyi@1479
     5
	maps.dox coding_style.dox groups.dox namespaces.dox license.dox \
alpar@1401
     6
	developers_interface.dox graph_io.dox dirs.dox graph-adaptors.dox
alpar@1177
     7
ladanyi@1310
     8
html/index.html:
klao@1450
     9
	if test ${doxygen_found} = yes; then \
klao@1450
    10
	  doxygen Doxyfile; \
klao@1451
    11
	  cp $(srcdir)/icons/geom/ftv2* html; \
klao@1450
    12
	fi
ladanyi@542
    13
ladanyi@542
    14
html: html/index.html
ladanyi@542
    15
ladanyi@542
    16
clean-local:
ladanyi@542
    17
	-rm -rf html
ladanyi@542
    18
ladanyi@542
    19
install-data-local: html/index.html
ladanyi@542
    20
	@$(NORMAL_INSTALL)
ladanyi@542
    21
	$(mkinstalldirs) $(DESTDIR)$(htmldir)
alpar@1400
    22
	@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
    23
	  f="`echo $$p | sed -e 's|^.*/||'`"; \
ladanyi@542
    24
	  echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f"; \
ladanyi@542
    25
	  $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f; \
ladanyi@542
    26
	done
ladanyi@542
    27
ladanyi@542
    28
uninstall-local: html/index.html
ladanyi@542
    29
	@$(NORMAL_UNINSTALL)
alpar@1400
    30
	@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
    31
	  f="`echo $$p | sed -e 's|^.*/||'`"; \
ladanyi@542
    32
	  echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \
ladanyi@542
    33
	  rm -f $(DESTDIR)$(htmldir)/$$f; \
ladanyi@542
    34
	done