diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/bin/old/Makefile')
-rw-r--r-- | Master/texmf-dist/source/latex/stex/bin/old/Makefile | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/Master/texmf-dist/source/latex/stex/bin/old/Makefile b/Master/texmf-dist/source/latex/stex/bin/old/Makefile deleted file mode 100644 index d2ae41c6401..00000000000 --- a/Master/texmf-dist/source/latex/stex/bin/old/Makefile +++ /dev/null @@ -1,28 +0,0 @@ -all: src exec - -src: idcheck.l defcon.l modstr.l - flex -ft idcheck.l > idcheck.yy.c - flex -ft defcon.l > defcon.yy.c - flex -f+t modstr.l > modstr.yy.cc - -idcheck: idcheck.l - flex -f $< - gcc lex.yy.c -lfl -o idcheck - -defcon: defcon.l - flex -f $< - gcc lex.yy.c -lfl -o defcon - -modstr: modstr.l - flex -f+ $< - g++ lex.yy.cc -lfl -o modstr - -exec: idcheck.yy.c defcon.yy.c modstr.yy.cc - gcc idcheck.yy.c -lfl -o idcheck - gcc defcon.yy.c -lfl -o defcon - g++ modstr.yy.cc -lfl -o modstr - -clean: - rm -f *.yy.c *.yy.cc *~ - -distclean: clean |