From f381e32c9f56b71feba8b7cd2b97c6672a583fe3 Mon Sep 17 00:00:00 2001 From: Daniel Carl Date: Tue, 25 Jun 2013 09:11:24 +0200 Subject: [PATCH] Fixed wrong clean make target. The file name for the hints.js.h was wrong. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 77aa5e9..c814d91 100644 --- a/Makefile +++ b/Makefile @@ -49,7 +49,7 @@ uninstall: clean: @$(MAKE) $(MFLAGS) -C doc clean - $(RM) src/*.o src/*.do src/hint.js.h $(TARGET) $(DTARGET) + $(RM) src/*.o src/*.do src/hints.js.h $(TARGET) $(DTARGET) dist: distclean @echo "Creating tarball." -- 2.20.1