equal
deleted
inserted
replaced
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 \ |
19 if test ${doxygen_found} = yes; then \ |
20 doxygen Doxyfile; \ |
20 doxygen Doxyfile; \ |
21 cp icons/geom/ftv2* html; \ |
21 cp $(srcdir)/icons/geom/ftv2* html; \ |
22 fi |
22 fi |
23 |
23 |
24 ## 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 |
25 ## does not exist. |
25 ## does not exist. |
26 html: html/index.html |
26 html: html/index.html |