diff options
author | Glenn Morris <rgm@gnu.org> | 2013-10-29 23:40:15 -0700 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2013-10-29 23:40:15 -0700 |
commit | 55498a0fe4713d9d6e6737bd4bd293ac4d8c4236 (patch) | |
tree | 63b6c7fdaafa342df48b93406387717bffd52bb2 /admin/unidata | |
parent | 8c7f77ed394ae108072f52f6d60edc330d1a28ce (diff) |
* Makefile.in (distclean, bootstrap-clean, maintainer-clean):
Also clean admin/unidata, if present.
* admin/unidata/Makefile.in (bootstrap-clean): New rule.
Diffstat (limited to 'admin/unidata')
-rw-r--r-- | admin/unidata/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/admin/unidata/Makefile.in b/admin/unidata/Makefile.in index 521f66f5bc..e4a8a87443 100644 --- a/admin/unidata/Makefile.in +++ b/admin/unidata/Makefile.in @@ -63,4 +63,4 @@ clean: distclean: clean -rm -f ./Makefile -maintainer-clean: distclean +bootstrap-clean maintainer-clean: distclean |