diff options
Diffstat (limited to 'main')
| -rw-r--r-- | main/main.cpp | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/main/main.cpp b/main/main.cpp index 48f16b303c..21fb61c81e 100644 --- a/main/main.cpp +++ b/main/main.cpp @@ -797,7 +797,6 @@ bool Main::start() { bool editor=false; String doc_tool; - String doc_header; bool doc_base=true; String game_path; String script; @@ -820,10 +819,6 @@ bool Main::start() { doc_tool=args[i+1]; i++; - } else if (args[i]=="-docheader" && i <(args.size()-1)) { - - doc_header=args[i+1]; - i++; }else if (args[i]=="-nodocbase") { doc_base=false; @@ -899,10 +894,7 @@ bool Main::start() { } - if (doc_header.length()) - doc.save_compressed_header(doc_header); - else - doc.save(doc_tool); + doc.save(doc_tool); return false; } |