Remove script menu.pl from ignored scripts

Author: flashcode

Makefile

@@ -25,7 +25,7 @@ all: check
 
 # this target will be removed once the ignored scripts are fixed
 partial-check:
-	"$(CHECKER)" --ignore-files gateway_rename.scm,menu.pl --recursive .
+	"$(CHECKER)" --ignore-files gateway_rename.scm --recursive .
 
 check:
 	"$(CHECKER)" --recursive .