diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/mktex.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/mktex.ml b/tools/mktex.ml index 13d656d..32b02c0 100644 --- a/tools/mktex.ml +++ b/tools/mktex.ml @@ -40,4 +40,3 @@ let () = if Array.length Sys.argv >= 3 then else printf "mktex - build LaTeX documents.\n"; printf "usage: <file_name> <document_title>\n"; - |