diff options
| author | Karl Berry <karl@freefriends.org> | 2018-07-22 21:16:45 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2018-07-22 21:16:45 +0000 |
| commit | d9d5b6b29fcac7ee0e1717ce8713a408641e600d (patch) | |
| tree | 979a0400b289782893b499ff5e4af13e2f4782bd /Master/texmf-dist/doc/latex/contracard/Makefile | |
| parent | ffe458c160f04308ae3dbe94ab2c7caaac638cde (diff) | |
contracard (22jul18)
git-svn-id: svn://tug.org/texlive/trunk@48250 c570f23f-e606-0410-a88d-b1316a301751
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 |