diff options
| author | Dien Tran <dien.kim.tran@utdallas.edu> | 2020-05-02 16:49:08 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-02 23:49:08 +0200 |
| commit | 3be669be3255c6b47dd2542af9d2055a7d1207e3 (patch) | |
| tree | 5ecd875f55b311b3e362396b89200a9154aa5153 | |
| parent | ff1c0bae4c9d375b6f68ab37d3eb24e4e5d15198 (diff) | |
| download | Nim-3be669be3255c6b47dd2542af9d2055a7d1207e3.tar.gz | |
Move generated tex file to doc to correct location (#14191)
| -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")) |