Rename to mklint to avoid confusion with pre-existing tool with opposite goal

Signed-off-by: Mattias Andrée <maandree@kth.se>

3 files changed, 10 insertions, 10 deletions

diff --git a/.gitignore b/.gitignore
index 40c3059..e79ed4c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,4 +12,4 @@
 *.gcov
 *.gcno
 *.gcda
-/makelint
+/mklint
diff --git a/Makefile b/Makefile
index e67e73d..2c7f513 100644
--- a/Makefile
+++ b/Makefile
@@ -4,34 +4,34 @@ CONFIGFILE = config.mk
 include $(CONFIGFILE)
 
 OBJ =\
-	makelint.o\
+	mklint.o\
 	ui.o
 
 HDR =\
 	common.h
 
-all: makelint
+all: mklint
 $(OBJ): $(HDR)
 
 .c.o:
 	$(CC) -c -o $@ $< $(CFLAGS) $(CPPFLAGS)
 
-makelint: $(OBJ)
+mklint: $(OBJ)
 	$(CC) -o $@ $(OBJ) $(LDFLAGS)
 
-install: makelint
+install: mklint
 	mkdir -p -- "$(DESTDIR)$(PREFIX)/bin"
 	mkdir -p -- "$(DESTDIR)$(MANPREFIX)/man1/"
-	cp -- makelint "$(DESTDIR)$(PREFIX)/bin/"
-	cp -- makelint.1 "$(DESTDIR)$(MANPREFIX)/man1/"
+	cp -- mklint "$(DESTDIR)$(PREFIX)/bin/"
+	cp -- mklint.1 "$(DESTDIR)$(MANPREFIX)/man1/"
 
 uninstall:
-	-rm -f -- "$(DESTDIR)$(PREFIX)/bin/makelint"
-	-rm -f -- "$(DESTDIR)$(MANPREFIX)/man1/makelint.1"
+	-rm -f -- "$(DESTDIR)$(PREFIX)/bin/mklint"
+	-rm -f -- "$(DESTDIR)$(MANPREFIX)/man1/mklint.1"
 
 clean:
 	-rm -f -- *.o *.a *.lo *.su *.so *.so.* *.gch *.gcov *.gcno *.gcda
-	-rm -f -- makelint
+	-rm -f -- mklint
 
 .SUFFIXES:
 .SUFFIXES: .o .c
diff --git a/makelint.c b/mklint.c
index aec636e..aec636e 100644
--- a/makelint.c
+++ b/mklint.c