tMakefile: remove GNU Make-ism - ve - a minimal text editor (work in progress)
  HTML git clone git://src.adamsgaard.dk/ve
   DIR Log
   DIR Files
   DIR Refs
   DIR README
   DIR LICENSE
       ---
   DIR commit 09b9948491c21ece22a976c7f2599ece5d049b56
   DIR parent 8a96635ad4b61f1fc0838698198581a022db9e3d
  HTML 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 $@