diff options
-rw-r--r-- | tools/kochdocs.nim | 3 |
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")) |