diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/contracard/Makefile')
| -rw-r--r-- | Master/texmf-dist/doc/latex/contracard/Makefile | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/Master/texmf-dist/doc/latex/contracard/Makefile b/Master/texmf-dist/doc/latex/contracard/Makefile index 2338a069bde..e49635bd543 100644 --- a/Master/texmf-dist/doc/latex/contracard/Makefile +++ b/Master/texmf-dist/doc/latex/contracard/Makefile @@ -83,6 +83,15 @@ by.png: by-nc.png: wget http://mirrors.creativecommons.org/presskit/buttons/80x15/png/by-nc.png +gendoc-offline: $(DTX) + @echo "Compiling documentation" + $(DO_LATEX_WRITE18) + $(DO_SPLITINDEX) + $(DO_MAKEINDEX) + $(DO_MAKECHANGES) + while ($(DO_LATEX_WRITE18) ; \ + grep -q "Rerun to get" $(NAME).log ) do true; \ + done gendoc: $(DTX) resources @echo "Compiling documentation" @@ -116,7 +125,7 @@ $(CTAN_ZIP): $(CTAN_FILES) @$(RM) -- $@ @mkdir -p $(NAME)/ @cp $^ $(NAME)/ - @zip -9 $@ $(NAME)/* >/dev/null + @zip -9 -f $@ $(NAME)/* >/dev/null @rm -rf $(NAME)/ define run-install |