doc/Makefile.am
changeset 1450 11a35ece69c7
parent 1401 9588dcef6793
child 1451 d2143018b4e4
equal deleted inserted replaced
7:0517b75ae121 8:1da2a9694c19
    14 ## all-local: html/index.html
    14 ## all-local: html/index.html
    15 
    15 
    16 ## TODO: 'html/index.html' should depend on the files listed in Doxyfile's
    16 ## TODO: 'html/index.html' should depend on the files listed in Doxyfile's
    17 ## INPUT variable.
    17 ## INPUT variable.
    18 html/index.html:
    18 html/index.html:
    19 	if test ${doxygen_found} = yes; then doxygen Doxyfile; fi
    19 	if test ${doxygen_found} = yes; then \
       
    20 	  doxygen Doxyfile; \
       
    21 	  cp icons/geom/ftv2* html; \
       
    22 	fi
    20 
    23 
    21 ## This is needed to make 'make dist' work even if the 'html' subdirectory
    24 ## This is needed to make 'make dist' work even if the 'html' subdirectory
    22 ## does not exist.
    25 ## does not exist.
    23 html: html/index.html
    26 html: html/index.html
    24 
    27