From 016e639db93339b9f9c5071cfc7e6f4436a34c42 Mon Sep 17 00:00:00 2001 From: Dietmar Maurer Date: Tue, 19 Dec 2017 14:16:17 +0100 Subject: [PATCH] Makefile: add code to generate .png files with borders --- images/screenshot/Makefile | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 images/screenshot/Makefile diff --git a/images/screenshot/Makefile b/images/screenshot/Makefile new file mode 100644 index 0000000..33c8d94 --- /dev/null +++ b/images/screenshot/Makefile @@ -0,0 +1,18 @@ + +PPMS= \ +pmg-grub-menu \ +pmg-installation-done \ +pmg-installation \ +pmg-license-agreement \ +pmg-select-location \ +pmg-select-target-disk \ +pmg-set-password \ +pmg-setup-network + +all: $(addsuffix .png, ${PPMS}) + +%.png: %.ppm + convert $< -bordercolor black -border 10x10 $@ + +clean: + rm -f $(addsuffix .png, ${PPMS})