From 9623472019cacaa821da2523ae16d4ec2a0d34e1 Mon Sep 17 00:00:00 2001 From: Sebastian Hugentobler Date: Tue, 1 Dec 2015 11:44:31 +0100 Subject: [PATCH] shuffle some more --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 6d6d8f4..696e080 100644 --- a/Makefile +++ b/Makefile @@ -11,7 +11,7 @@ PSBOOK = psbook PSTOPS = pstops PSNUP = psnup PS2PDF = ps2pdf -SED = sed # do not use in-place editing for compatibility between different sed utilities +SED = sed # do not use in-place editing for compatibility between different sed versions RM = rm MKDIR = mkdir CD = cd