diff options
| -rw-r--r-- | docs/Makefile.am | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/docs/Makefile.am b/docs/Makefile.am index ee3d0e3f2..f0ff3c217 100644 --- a/docs/Makefile.am +++ b/docs/Makefile.am @@ -8,10 +8,11 @@ man_MANS = \ curl.1 \ curl-config.1 -HTMLPAGES = \ +GENHTMLPAGES = \ curl.html \ - curl-config.html \ - index.html + curl-config.html + +HTMLPAGES = $(GENHTMLPAGES) index.html PDFPAGES = \ curl.pdf \ @@ -19,7 +20,7 @@ PDFPAGES = \ SUBDIRS = examples libcurl -CLEANFILES = $(HTMLPAGES) $(PDFPAGES) +CLEANFILES = $(GENHTMLPAGES) $(PDFPAGES) EXTRA_DIST = MANUAL BUGS CONTRIBUTE FAQ FEATURES INTERNALS SSLCERTS \ README.win32 RESOURCES TODO TheArtOfHttpScripting THANKS \ |