diff options
| -rw-r--r-- | Makefile | 2 | ||||
| -rw-r--r-- | userguide/userguide.tex | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -14,7 +14,7 @@ userguide.pdf: userguide/userguide.tex $(tex) $(tflags) $^ $(tex) $(tflags) $^ -userguide/userguide.tex: rest-api.tex host-management.tex console.tex code-update.tex +userguide/userguide.tex: rest-api.tex host-management.tex console.tex code-update/code-update.tex %.tex: %.md pandoc -o $@ $^ diff --git a/userguide/userguide.tex b/userguide/userguide.tex index 85faf26..e242ef7 100644 --- a/userguide/userguide.tex +++ b/userguide/userguide.tex @@ -29,6 +29,6 @@ \input{rest-api} \input{host-management} \input{console} -\input{code-update} +\input{code-update/code-update} \end{document} |
