diff options
Diffstat (limited to 'support/detex/Flex-patch')
-rw-r--r-- | support/detex/Flex-patch | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/support/detex/Flex-patch b/support/detex/Flex-patch deleted file mode 100644 index dd12337433..0000000000 --- a/support/detex/Flex-patch +++ /dev/null @@ -1,9 +0,0 @@ -From the DeTeX Home Page... - -Flex patch - -This patch has been incorporated into detex 2.7, so it is no longer -necessary. However, if you are using flex, you'll probably need to -change the link line in the make file to be - - ${CC} ${CFLAGS} -o $@ ${D_OBJ} -lfl |