From 51e72f1d684b1f578aca3bf04cd3e9733b85b404 Mon Sep 17 00:00:00 2001 From: Julien Danjou Date: Mon, 26 May 2008 20:17:15 +0200 Subject: [PATCH] [build] Print a newline after printing comments Signed-off-by: Julien Danjou --- build-utils/gendoc.lua | 1 + 1 file changed, 1 insertion(+) diff --git a/build-utils/gendoc.lua b/build-utils/gendoc.lua index 06fd1687..1e3fc891 100755 --- a/build-utils/gendoc.lua +++ b/build-utils/gendoc.lua @@ -57,6 +57,7 @@ for i, line in ipairs(ilines) do if libtype == "meta" then sep = ":" else sep = "." end print("*" .. libname .. sep .. fctname .. "*::") print(function_doc[fctdef]:comment_clean()) + print() end end end