From ecd2f7451b8773af3fc1cf41d30a3f677e770a63 Mon Sep 17 00:00:00 2001 From: Aliaksandr Valialkin Date: Thu, 6 Oct 2022 15:24:56 +0300 Subject: [PATCH] Makefile: remove docs/*.tmp files after running `sed` command there --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index b9ffb643a..4e96e5a6c 100644 --- a/Makefile +++ b/Makefile @@ -403,6 +403,7 @@ copy-docs: fi cat ${SRC} >> ${DST} sed -i='.tmp' 's/