summaryrefslogtreecommitdiff
path: root/Build/source/texk/detex/detex-src/detex.h
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/detex/detex-src/detex.h')
-rw-r--r--Build/source/texk/detex/detex-src/detex.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/detex/detex-src/detex.h b/Build/source/texk/detex/detex-src/detex.h
index 1067f9520ce..7d206a372b0 100644
--- a/Build/source/texk/detex/detex-src/detex.h
+++ b/Build/source/texk/detex/detex-src/detex.h
@@ -81,5 +81,6 @@
#define CHTEXOPT 't'
#define CHWORDOPT 'w'
#define CHREPLACE 'r'
+#define CHVERSIONOPT 'v'
#define my_ERROR -1