diff options
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/Makefile b/docs/Makefile index 674c605d8..1980953ab 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -57,7 +57,10 @@ htmlhelp: latex: mkdir -p .build/latex .build/doctrees $(SPHINXBUILD) -b latex $(ALLSPHINXOPTS) .build/latex + cp .static/*.png .build/latex ./convert_images.sh + cp .static/exclaim.png .build/latex + cp .static/info.png .build/latex @echo @echo "Build finished; the LaTeX files are in .build/latex." @echo "Run \`make all-pdf' or \`make all-ps' in that directory to" \ |