rename files

This commit is contained in:
Motiejus Jakštys 2021-04-02 06:22:10 +03:00
parent b3a88737b9
commit b898aaeeec
3 changed files with 5 additions and 5 deletions

View File

@ -35,7 +35,7 @@ slides: $(SLIDES)
mj-msc.pdf: mj-msc.tex test-figures.pdf version.tex bib.bib mj-msc.pdf: mj-msc.tex test-figures.pdf version.tex bib.bib
latexmk -shell-escape -g -pdf $< latexmk -shell-escape -g -pdf $<
mj-msc-all.pdf: mj-msc.pdf version.tex $(ARCHIVABLES) mj-msc-full.pdf: mj-msc.pdf version.tex $(ARCHIVABLES)
cp $< .tmp-$@ cp $< .tmp-$@
for f in $^; do \ for f in $^; do \
if [ "$$f" = "$<" ]; then continue; fi; \ if [ "$$f" = "$<" ]; then continue; fi; \

View File

@ -1,8 +1,8 @@
#!/bin/bash #!/bin/bash
set -euo pipefail set -euo pipefail
dir=$(mktemp -d) dir=$(mktemp -d)
src=${1:-mj-msc-all.pdf} src=${1:-mj-msc.pdf}
dst=${2:-mj-msc.pdf} dst=${2:-mj-msc-full.pdf}
echo "Extracting $src to $dir/" && pdfdetach -saveall -o "$dir" "$src" echo "Extracting $src to $dir/" && pdfdetach -saveall -o "$dir" "$src"
echo "Generating $dir/$dst ..." echo "Generating $dir/$dst ..."
make -j $(nproc) -C "$dir" "$dst" &> "$dir/make.log" || { make -j $(nproc) -C "$dir" "$dst" &> "$dir/make.log" || {

View File

@ -213,7 +213,7 @@ line direction.
The full test suite can be executed with a single command, and completes in a The full test suite can be executed with a single command, and completes in a
few seconds. Having an easily accessible test suite boosts confidence that no few seconds. Having an easily accessible test suite boosts confidence that no
unexpected regressions have been added while modifying the algorithm. unexpected bugs have been created while modifying the algorithm.
\section{Description of the implementation} \section{Description of the implementation}
@ -255,7 +255,7 @@ We strongly believe in the ability to reproduce the results is critical for any
scientific work. To make it possible for this paper, all source files and scientific work. To make it possible for this paper, all source files and
accompanying scripts have been attached to the PDF. To re-generate this accompanying scripts have been attached to the PDF. To re-generate this
document and its accompanying graphics, run this script (assuming name of document and its accompanying graphics, run this script (assuming name of
this document is {\tt mj-msc-all.pdf}): this document is {\tt mj-msc-full.pdf}):
\inputminted[fontsize=\small]{bash}{extract-and-generate} \inputminted[fontsize=\small]{bash}{extract-and-generate}