doc/Makefile.am
author Balazs Dezso <deba@inf.elte.hu>
Thu, 10 Jul 2008 15:02:35 +0200
changeset 201 9757e3d9bfeb
parent 154 f4e4dbc1d467
child 227 33f8d69e642a
permissions -rw-r--r--
More docs for undirected LGF IO
     1 EXTRA_DIST += \
     2 	doc/Doxyfile.in \
     3 	doc/coding_style.dox \
     4 	doc/dirs.dox \
     5 	doc/groups.dox \
     6 	doc/lgf.dox \
     7 	doc/license.dox \
     8 	doc/mainpage.dox \
     9 	doc/namespaces.dox \
    10 	doc/html
    11 
    12 DOC_EPS_IMAGES18 = \
    13 	nodeshape_0.eps \
    14 	nodeshape_1.eps \
    15 	nodeshape_2.eps \
    16 	nodeshape_3.eps \
    17 	nodeshape_4.eps
    18 
    19 DOC_EPS_IMAGES = \
    20 	$(DOC_EPS_IMAGES18)
    21 
    22 DOC_PNG_IMAGES = \
    23 	$(DOC_EPS_IMAGES:%.eps=doc/gen-images/%.png)
    24 
    25 EXTRA_DIST += $(DOC_EPS_IMAGES:%=doc/images/%)
    26 
    27 doc/html:
    28 	$(MAKE) $(AM_MAKEFLAGS) html
    29 
    30 GS_COMMAND=gs -dNOPAUSE -dBATCH -q -dEPSCrop -dTextAlphaBits=4 -dGraphicsAlphaBits=4
    31 
    32 $(DOC_EPS_IMAGES18:%.eps=doc/gen-images/%.png): doc/gen-images/%.png: doc/images/%.eps
    33 	-mkdir doc/gen-images
    34 	if test ${gs_found} = yes; then \
    35 	  $(GS_COMMAND) -sDEVICE=pngalpha -r18 -sOutputFile=$@ $<; \
    36 	else \
    37 	  echo; \
    38 	  echo "Ghostscript not found."; \
    39 	  echo; \
    40 	  exit 1; \
    41 	fi
    42 
    43 html-local: $(DOC_PNG_IMAGES)
    44 	if test ${doxygen_found} = yes; then \
    45 	  cd doc; \
    46 	  doxygen Doxyfile; \
    47 	  cd ..; \
    48 	else \
    49 	  echo; \
    50 	  echo "Doxygen not found."; \
    51 	  echo; \
    52 	  exit 1; \
    53 	fi
    54 
    55 clean-local:
    56 	-rm -rf doc/html
    57 	-rm -f doc/doxygen.log
    58 	-rm -f $(DOC_PNG_IMAGES)
    59 	-rm -rf doc/gen-images
    60 
    61 update-external-tags:
    62 	wget -O doc/libstdc++.tag.tmp http://gcc.gnu.org/onlinedocs/libstdc++/latest-doxygen/libstdc++.tag && \
    63 	mv doc/libstdc++.tag.tmp doc/libstdc++.tag || \
    64 	rm doc/libstdc++.tag.tmp
    65 
    66 install-html-local: doc/html
    67 	@$(NORMAL_INSTALL)
    68 	$(mkinstalldirs) $(DESTDIR)$(htmldir)/docs
    69 	for p in doc/html/*.{html,css,png,map,gif,tag} ; do \
    70 	  f="`echo $$p | sed -e 's|^.*/||'`"; \
    71 	  echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/docs/$$f"; \
    72 	  $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/docs/$$f; \
    73 	done
    74 
    75 uninstall-local:
    76 	@$(NORMAL_UNINSTALL)
    77 	for p in doc/html/*.{html,css,png,map,gif,tag} ; do \
    78 	  f="`echo $$p | sed -e 's|^.*/||'`"; \
    79 	  echo " rm -f $(DESTDIR)$(htmldir)/docs/$$f"; \
    80 	  rm -f $(DESTDIR)$(htmldir)/docs/$$f; \
    81 	done
    82 
    83 .PHONY: update-external-tags