pdf: use printf over echo

echo may introduce inconsistent behaviors over different platforms.  printf is considered better than echo. See: https://unix.stackexchange.com/questions/65803/why-is-printf-better-than-echo

Fixes #188
This commit is contained in:
Changkun Ou
2021-08-11 12:27:20 +02:00
parent ed88f4efbb
commit 529399ffcd
2 changed files with 4 additions and 4 deletions

View File

@@ -6,8 +6,8 @@ revision = $(shell git describe --always --tags)
all: revision pdf
revision:
@echo '% Autogenerated, do not edit' > revision.tex
@echo '\\newcommand{\\revision}{'$(revision)'}' >> revision.tex
printf '%% Autogenerated, do not edit\n' > revision.tex
printf '\\newcommand{\\revision}{'$(revision)'}' >> revision.tex
pdf: markdown
@echo "Compiling PDF file..."

View File

@@ -6,8 +6,8 @@ revision = $(shell git describe --always --tags)
all: revision pdf
revision:
@echo '% Autogenerated, do not edit' > revision.tex
@echo '\\newcommand{\\revision}{'$(revision)'}' >> revision.tex
printf '%% Autogenerated, do not edit\n' > revision.tex
printf '\\newcommand{\\revision}{'$(revision)'}' >> revision.tex
pdf: markdown
@echo "Compiling PDF file..."