diff options
author | Norbert Preining <norbert@preining.info> | 2020-03-16 03:01:06 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2020-03-16 03:01:06 +0000 |
commit | d50a41b6ab3d05fe5605a3a3b50ff68f61059296 (patch) | |
tree | 29468e087e9c19acf30b392dc705a54288d79137 /support/detex/Flex-patch | |
parent | 87cddce361c3b477029d13b27bdaa57190b2d74b (diff) |
CTAN sync 202003160301
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 |