diff options
Diffstat (limited to 'Master/texmf/scripts/texdoc/texdoc.tlu')
-rwxr-xr-x | Master/texmf/scripts/texdoc/texdoc.tlu | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf/scripts/texdoc/texdoc.tlu b/Master/texmf/scripts/texdoc/texdoc.tlu index 28470c597e7..69090deee2f 100755 --- a/Master/texmf/scripts/texdoc/texdoc.tlu +++ b/Master/texmf/scripts/texdoc/texdoc.tlu @@ -72,4 +72,4 @@ texdoc_load('view') texdoc_load('main') -- the end -os.exit(0) +os.exit(C.exit_ok) |