diff options
Diffstat (limited to 'Doc/whatsnew/Makefile')
-rw-r--r-- | Doc/whatsnew/Makefile | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Doc/whatsnew/Makefile b/Doc/whatsnew/Makefile deleted file mode 100644 index d11f97b..0000000 --- a/Doc/whatsnew/Makefile +++ /dev/null @@ -1,3 +0,0 @@ - -check: - ../../python.exe ../../Tools/scripts/texcheck.py whatsnew25.tex |