From 6e5bb0ee22874edaa829f879a0faa15d1ca6bc93 Mon Sep 17 00:00:00 2001 From: Francis Dupont Date: Fri, 17 Apr 2015 18:06:08 +0200 Subject: checkpoint (fixed distchek) -- still need regen --- util/Makefile.bind.in | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) (limited to 'util') diff --git a/util/Makefile.bind.in b/util/Makefile.bind.in index bd784c60..9cbe5719 100644 --- a/util/Makefile.bind.in +++ b/util/Makefile.bind.in @@ -101,12 +101,5 @@ clean: # Include the following so that this Makefile is happy when the parent # tries to use them. -distdir: +check distdir distclean dvi install installcheck uninstall: -distclean: - -install: - -check: - -uninstall: -- cgit v1.2.1