diff --git a/Makefile b/Makefile index 036281a04..b9ffb643a 100644 --- a/Makefile +++ b/Makefile @@ -402,7 +402,7 @@ copy-docs: echo "---\nsort: ${ORDER}\n---\n" > ${DST}; \ fi cat ${SRC} >> ${DST} - sed -i '.tmp' 's/