diff options
| -rw-r--r-- | tools/module.mk | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/module.mk b/tools/module.mk index ec88fefc4e..eb8b47aec0 100644 --- a/tools/module.mk +++ b/tools/module.mk @@ -43,7 +43,6 @@ tools/md5table$(EXEEXT): $(srcdir)/tools/md5table.c credits: $(srcdir)/tools/credits.pl --text > AUTHORS - $(srcdir)/tools/credits.pl --tex > doc/credits.tex $(srcdir)/tools/credits.pl --rtf > Credits.rtf $(srcdir)/tools/credits.pl --cpp > gui/credits.h $(srcdir)/tools/credits.pl --html > ../../web/trunk/credits.inc |