tMakefile: remove GNU Make-ism - ve - a minimal text editor (work in progress)
 (HTM) git clone git://src.adamsgaard.dk/ve
 (DIR) Log
 (DIR) Files
 (DIR) Refs
 (DIR) README
 (DIR) LICENSE
       ---
 (DIR) commit 09b9948491c21ece22a976c7f2599ece5d049b56
 (DIR) parent 8a96635ad4b61f1fc0838698198581a022db9e3d
 (HTM) Author: Anders Damsgaard <anders@adamsgaard.dk>
       Date:   Sun, 24 Jan 2021 15:23:47 +0100
       
       Makefile: remove GNU Make-ism
       
       Diffstat:
         M Makefile                            |       2 +-
       
       1 file changed, 1 insertion(+), 1 deletion(-)
       ---
 (DIR) diff --git a/Makefile b/Makefile
       t@@ -24,7 +24,7 @@ options:
        $(OBJ): config.h config.mk
        
        config.h: config.def.h
       -        cp $< $@
       +        cp config.def.h $@
        
        $(BIN): $(OBJ)
                $(CC) $(LDFLAGS) $(OBJ) -o $@