On Sun, Oct 17, 2021 at 05:13:37PM +0900, Akira Yokosawa wrote: > 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. The shorter progress reports are nice! Queued and pushed, thank you! Thanx, Paul > 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 >
