diff --git a/doc/buildall.lua b/doc/buildall.lua index 43d5bd1d..37fab770 100644 --- a/doc/buildall.lua +++ b/doc/buildall.lua @@ -384,6 +384,7 @@ local function gen_html_page( fname, lang ) +