diff options
Diffstat (limited to 'Build/source/texk/detex/detex-src/Makefile')
-rw-r--r-- | Build/source/texk/detex/detex-src/Makefile | 8 |
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 |