summaryrefslogtreecommitdiff
path: root/support/detex/Flex-patch
diff options
context:
space:
mode:
Diffstat (limited to 'support/detex/Flex-patch')
-rw-r--r--support/detex/Flex-patch9
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