doc/Makefile.am
author hegyi
Thu, 05 Jan 2006 12:30:09 +0000
changeset 1878 409a31271efd
parent 1608 d1b5a3cf8331
child 1909 2d806130e700
permissions -rw-r--r--
Several changes. \n If new map is added to mapstorage it emits signal with the name of the new map. This was important, because from now on not only tha mapwin should be updated. \n Furthermore algobox gets a pointer to mapstorage instead of only the mapnames from it. This is important because without it it would be complicated to pass all of the required maps to algobox.
     1 htmldir = $(datadir)/doc/$(PACKAGE)/html
     2 
     3 EXTRA_DIST = \
     4 	html \
     5 	icons/geom/ftv2doc.png \
     6 	icons/geom/ftv2folderclosed.png \
     7 	icons/geom/ftv2folderopen.png \
     8 	coding_style.dox \
     9 	developers_interface.dox \
    10 	dirs.dox \
    11 	getstart.dox \
    12 	graph-adaptors.dox \
    13 	graph_io.dox \
    14 	graphs.dox \
    15 	groups.dox \
    16 	license.dox \
    17 	mainpage.dox \
    18 	maps.dox \
    19 	named-param.dox \
    20 	namespaces.dox \
    21 	quicktour.dox \
    22 	undir_graphs.dox
    23 
    24 html/index.html:
    25 	if test ${doxygen_found} = yes; then \
    26 	  doxygen Doxyfile; \
    27 	  cp $(srcdir)/icons/geom/ftv2* html; \
    28 	fi
    29 
    30 html: html/index.html
    31 
    32 clean-local:
    33 	-rm -rf html
    34 
    35 install-data-local: html/index.html
    36 	@$(NORMAL_INSTALL)
    37 	$(mkinstalldirs) $(DESTDIR)$(htmldir)
    38 	@dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
    39 	  f="`echo $$p | sed -e 's|^.*/||'`"; \
    40 	  echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f"; \
    41 	  $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f; \
    42 	done
    43 
    44 uninstall-local: html/index.html
    45 	@$(NORMAL_UNINSTALL)
    46 	@dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
    47 	  f="`echo $$p | sed -e 's|^.*/||'`"; \
    48 	  echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \
    49 	  rm -f $(DESTDIR)$(htmldir)/$$f; \
    50 	done