diff --git a/doc/buildall.lua b/doc/buildall.lua index 1126c8de..cbe22d5e 100644 --- a/doc/buildall.lua +++ b/doc/buildall.lua @@ -506,17 +506,17 @@ local function gen_html_page( fname, lang ) -