nitcatalog: copy the ini files in p/name.ini

Signed-off-by: Jean Privat <jean@pryen.org>

diff --git a/src/nitcatalog.nit b/src/nitcatalog.nit
index 629222a..244be79 100644 (file)
--- a/src/nitcatalog.nit
+++ b/src/nitcatalog.nit
@@ -721,6 +721,9 @@ for p in mpackages do
        var f = "p/{p.name}.html"
        catalog.package_page(p)
        catalog.generate_page(p).write_to_file(out/f)
+       # copy ini
+       var ini = p.ini
+       if ini != null then ini.write_to_file(out/"p/{p.name}.ini")
 end
 
 # INDEX