summaryrefslogtreecommitdiff
path: root/Build/source/texk/detex/detex-src/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/detex/detex-src/Makefile')
-rw-r--r--Build/source/texk/detex/detex-src/Makefile8
1 files changed, 4 insertions, 4 deletions
diff --git a/Build/source/texk/detex/detex-src/Makefile b/Build/source/texk/detex/detex-src/Makefile
index e97c09ae751..7f618f821b5 100644
--- a/Build/source/texk/detex/detex-src/Makefile
+++ b/Build/source/texk/detex/detex-src/Makefile
@@ -71,7 +71,7 @@ DEFS =
#
#DEFS += ${DEFS} -DNO_MALLOC_DECL
#
-CFLAGS = -O ${DEFS} -Wall
+CFLAGS = -O -DVERSION=\"${VERSION}\" ${DEFS} -Wall
# Use your favorite lexical scanner
#
@@ -105,7 +105,7 @@ SRC = detex.l
#
D_OBJ = detex.o
-VERSION = 2.8.4
+VERSION = 2.8.5
all: ${PROGS}
@@ -120,14 +120,14 @@ detex.c: detex.l
mv lex.yy.c detex.c
man-page:
- troff -man detex.1l
+ troff -man detex.1
# If you want detex available as delatex, uncomment the last two lines of
# this target
install: all
rm -f ${DESTDIR}/detex
install -c -m 775 -g staff -s detex ${DESTDIR}
- install detex.1l /usr/local/share/man/man1
+ install detex.1 /usr/local/share/man/man1
# rm -f ${DESTDIR}/delatex
# ln ${DESTDIR}/detex ${DESTDIR}/delatex