diff options
author | Daniel Stenberg <daniel@haxx.se> | 2017-11-24 00:49:48 +0100 |
---|---|---|
committer | Daniel Stenberg <daniel@haxx.se> | 2017-11-24 08:38:29 +0100 |
commit | 9f691be3d49840690f7d3a22e81e6fd3e03f0900 (patch) | |
tree | 400fa289eb39c684f7e6e7607c751affa1e97347 /docs | |
parent | 6b9dd0d409515622905df3eb7a792f72b674d9a1 (diff) |
make: fix "make distclean"
Fixes #2097
Closes #2108
Diffstat (limited to 'docs')
-rw-r--r-- | docs/Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/Makefile.am b/docs/Makefile.am index 17b3909ca..ae5ceecae 100644 --- a/docs/Makefile.am +++ b/docs/Makefile.am @@ -81,3 +81,6 @@ pdf: $(PDFPAGES) rm $$foo.ps; \ echo "converted $< to $@") +distclean: + rm -f $(CLEANFILES) + |