{ body = body $0 "\n" } END { printf "%s", genNavbarGMI(FILENAME, "src/", "gmi/") printf "%s", body }