Hi Paul,
This patch set consists of updates under docker/ and Makefile.
Patch 1/3 updates Dockerfiles under docker/.
It adds a couple of font packages in Dockerfile.fedora and
adds "gnuplot" and "time" commands in all three Dockerfiles.
Patch 2/3 shortens progress reports from "make".
Old example: intro/PPGrelation.svg --> intro/PPGrelation.pdf
New example: intro/PPGrelation.svg --> .pdf
Patch 3/3 switches the default "esp --> pdf" rules to those in
epstopdf-rule.mk.
To see the effect of patches 2/3 and 3/3, a "make neatfreak"
before "make" or "make -jN" is needed.
Thanks, Akira
--
Akira Yokosawa (3):
docker: Add some fonts and commands
Makefile: Shorten progress report (dir/filename.src --> .dst)
Makefile: Promote epstopdf-rule.mk as the default
Makefile | 16 ++++++++--------
a2ping-rule.mk | 6 +++---
docker/Dockerfile | 8 +++++---
docker/Dockerfile.bionic | 8 +++++---
docker/Dockerfile.fedora | 11 ++++++++---
epstopdf-rule.mk | 6 +++---
6 files changed, 32 insertions(+), 23 deletions(-)
base-commit: d28c5aa8c1dad57c76554743cc4e59a18d367303
--
2.17.1
