diff options
author | Karl Berry <karl@freefriends.org> | 2019-06-23 21:02:56 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-06-23 21:02:56 +0000 |
commit | 2848dc4a0a5ab87e1713f6822a0f0fa6281feb81 (patch) | |
tree | fb86944dfdeac123de6e2265dce00603115f36ad /Master/texmf-dist/doc/latex/pseudo/Makefile | |
parent | 603d2299ca95988419c592dcede99fe9b328cdae (diff) |
pseudo (23jun19)
git-svn-id: svn://tug.org/texlive/trunk@51437 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/pseudo/Makefile')
-rw-r--r-- | Master/texmf-dist/doc/latex/pseudo/Makefile | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/pseudo/Makefile b/Master/texmf-dist/doc/latex/pseudo/Makefile new file mode 100644 index 00000000000..9aeafae4c14 --- /dev/null +++ b/Master/texmf-dist/doc/latex/pseudo/Makefile @@ -0,0 +1,33 @@ +LATEX=latexmk -norc -pdf -auxdir=build -outdir=build +FIGS=build/hilitefig.pdf build/pausefig.pdf + +doc/pseudo.pdf: build/pseudo.pdf + cp $< $@ + +build/pseudo.pdf: doc/pseudo.tex build/pseudo.bib $(FIGS) + $(LATEX) $< + +build/pseudo.bib: doc/pseudo.bib + cp $< $@ + +build/hilitefig.pdf: doc/fig/hilitefig.tex pseudo.sty + $(LATEX) $< + +build/pausefig.pdf: doc/fig/pausefig.tex pseudo.sty + $(LATEX) $< + +pseudo.sty: VERSION LICENSE doc/pseudo.tex + cat LICENSE | sed -e "s/^/% /" | sed -e "s/^% \$$/%/" > pseudo.sty + echo "%" >> pseudo.sty + cat doc/pseudo.tex | sed -n \ + -e "/\begin{source}/,/\end{source}/{" \ + -e "/\\begin{source}/b" \ + -e "/\\end{source}/b" \ + -e "s/_@@/__pseudo/g" \ + -e "s/@@/__pseudo/g" \ + -e "s/VERSION/$$(cat VERSION)/g" \ + -e "s/DATE/$$(date +"%Y-%m-%d")/g" \ + -e "s/[ ]*%.*\$$//" \ + -e "/^\$$/d" \ + -e "p" \ + -e "}" >> pseudo.sty |