doc/Makefile.am
author deba
Wed, 01 Mar 2006 10:25:30 +0000
changeset 1991 d7442141d9ef
parent 1671 3c82a0d9e0e7
child 2015 5e51c9eb5e83
permissions -rw-r--r--
The graph adadptors can be alteration observed.
In most cases it uses the adapted graph alteration notifiers.
Only special case is now the UndirGraphAdaptor, where
we have to proxy the signals from the graph.

The SubBidirGraphAdaptor is removed, because it doest not
gives more feature than the EdgeSubGraphAdaptor<UndirGraphAdaptor<Graph>>.

The ResGraphAdaptor is based on this composition.
     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 	ugraphs.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