diff options
| author | Glenn Morris <rgm@gnu.org> | 2014-06-14 18:16:35 -0700 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2014-06-14 18:16:35 -0700 |
| commit | e52868b16f33eb31cbe912f1ebc98136c5743238 (patch) | |
| tree | 7e55e4e7472a59cbf0e60437d36f8e199b5f6a7f /oldXMenu | |
| parent | 0d9f81376b7ef14ec7a61077a059cfa2420c5666 (diff) | |
* oldXMenu/Makefile.in: Fix typo in earlier change.
Diffstat (limited to 'oldXMenu')
| -rw-r--r-- | oldXMenu/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/oldXMenu/Makefile.in b/oldXMenu/Makefile.in index 537be826d1..28fbf1eb36 100644 --- a/oldXMenu/Makefile.in +++ b/oldXMenu/Makefile.in @@ -141,7 +141,7 @@ mostlyclean: clean: mostlyclean -boostrap-clean maintainer-clean distclean: clean +bootstrap-clean maintainer-clean distclean: clean rm -f Makefile .PHONY: tags |