summary refs log tree commit diff stats
path: root/koch.nim
diff options
context:
space:
mode:
authorAraq <rumpf_a@web.de>2016-10-24 11:55:23 +0200
committerAraq <rumpf_a@web.de>2016-10-24 11:55:23 +0200
commited9d0809ae9d9ac639ceb4f171a0608abd797884 (patch)
tree6845c72f4dad1ce25300fa876af6e451c83cfa56 /koch.nim
parent00915159803b6b90823b42dc41d86272e90fb1b8 (diff)
downloadNim-ed9d0809ae9d9ac639ceb4f171a0608abd797884.tar.gz
docgen: PDFs and HTMLs finally are generated in their own respective directories
Diffstat (limited to 'koch.nim')
-rw-r--r--koch.nim1
1 files changed, 1 insertions, 0 deletions
diff --git a/koch.nim b/koch.nim
index 74855a6b9..bd7be9416 100644
--- a/koch.nim
+++ b/koch.nim
@@ -369,6 +369,7 @@ of cmdArgument:
   of "boot": boot(op.cmdLineRest)
   of "clean": clean(op.cmdLineRest)
   of "web": web(op.cmdLineRest)
+  of "docs": web("--onlyDocs " & op.cmdLineRest)
   of "json2": web("--json2 " & op.cmdLineRest)
   of "website": website(op.cmdLineRest & " --googleAnalytics:UA-48159761-1")
   of "web0":