Skip to content

Commit e20a881

Browse files
committed
Remove script latex_unicode.py from ignored scripts
1 parent 157333f commit e20a881

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -25,7 +25,7 @@ all: check
2525

2626
# this target will be removed once the ignored scripts are fixed
2727
partial-check:
28-
"$(CHECKER)" --ignore-files gateway_rename.scm,latex_unicode.py,menu.pl --recursive .
28+
"$(CHECKER)" --ignore-files gateway_rename.scm,menu.pl --recursive .
2929

3030
check:
3131
"$(CHECKER)" --recursive .

0 commit comments

Comments
 (0)