romenskiy2012/curl
1
0
Fork 0
mirror of https://github.com/curl/curl.git synced 2026-08-25 06:03:32 +03:00
Code Issues Projects Releases Packages Wiki Activity

make: fix "make distclean"

Browse source 
Fixes #2097
Closes #2108
This commit is contained in:
Daniel Stenberg 2017-11-24 00:49:48 +01:00
parent 6b9dd0d409
commit 9f691be3d4
No known key found for this signature in database
GPG key ID: 5CC908FDB71E12C2
2 changed files with 3 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

3
docs/Makefile.am
View file

@ -81,3 +81,6 @@ pdf: $(PDFPAGES)
rm $$foo.ps; \
echo "converted $< to $@")
distclean:
rm -f $(CLEANFILES)