Manual does not show DEFINES function definitions

[acoglio]

Loading a file with the content below in an ACL2 session and then opening test-manual/index.html (tried Safari and Firefox) does not show the definitions of F and G in their manual pages.

(in-package "ACL2")

(include-book "std/util/defines" :dir :system)
(include-book "xdoc/save" :dir :system)

(defines f
  :parents (top)

  (define f ((term pseudo-termp))
    (cond ((variablep term) t)
          ((fquotep term) t)
          (t (g (fargs term)))))

  (define g ((terms pseudo-term-listp))
    (cond ((endp terms) t)
          (t (and (f (car terms))
                  (g (cdr terms)))))))

(xdoc::save (oslib::catpath (cbd) "test-manual")
            :redef-okp t)