summary refs log tree commit diff stats
diff options
context:
space:
mode:
-rw-r--r--tools/kochdocs.nim3
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/kochdocs.nim b/tools/kochdocs.nim
index ba60a3749..4f2062d92 100644
--- a/tools/kochdocs.nim
+++ b/tools/kochdocs.nim
@@ -271,6 +271,9 @@ proc buildPdfDoc*(nimArgs, destPath: string) =
     const pdflatexcmd = "pdflatex -interaction=nonstopmode "
     for d in items(pdf):
       exec(findNim().quoteShell() & " rst2tex $# $#" % [nimArgs, d])
+      let tex = splitFile(d).name & ".tex"
+      removeFile("doc" / tex)
+      moveFile(tex, "doc" / tex)
       # call LaTeX twice to get cross references right:
       exec(pdflatexcmd & changeFileExt(d, "tex"))
       exec(pdflatexcmd & changeFileExt(d, "tex"))