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/