diff options
| author | larsr <[email protected]> | 2013-12-16 15:16:40 +0100 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2014-02-11 14:04:00 +0100 |
| commit | a8974c567064fb4e39908fe9d60503d8de5f8bea (patch) | |
| tree | 322f433faf33962be10580e73958db22aab2457a /lib/public_key/doc/src/public_key.xml | |
| parent | 25237481ccccd3ddfa74582dc267632ad618ba30 (diff) | |
| download | otp-a8974c567064fb4e39908fe9d60503d8de5f8bea.tar.gz otp-a8974c567064fb4e39908fe9d60503d8de5f8bea.tar.bz2 otp-a8974c567064fb4e39908fe9d60503d8de5f8bea.zip | |
make clean should not remove SKIP files
Add new make target 'distclean' that removes
files created by configure.
SKIP files are created by configure for instance
if configured --without-javac. They should only
be removed if one has to reconfigure, otherwise
'make clean; make' breaks.
Diffstat (limited to 'lib/public_key/doc/src/public_key.xml')
0 files changed, 0 insertions, 0 deletions