Build a description of the
Macro:
(defmacro xdoc::desc-apt-input-old-to-wrapper-enable nil '(xdoc::desc "@(':old-to-wrapper-enable') — default from <see topic='@(url defaults-table)'>table</see>" (xdoc::p "Determines whether the @('old-to-wrapper') theorem is enabled.") (xdoc::p "It must be one of the following:") (xdoc::ul (xdoc::li "@('t'), to enable the theorem.") (xdoc::li "@('nil'), to disable the theorem.") (xdoc::li "Absent, to use the value from the APT defaults table, which is set via @(tsee set-default-input-old-to-wrapper-enable).")) (xdoc::p "This input may be present only if the @(':wrapper') input is @('t').") (xdoc::p "If this input is @('t'), the @(':wrapper-to-old-enable') input must be @('nil'). At most one of these two inputs may be @('t') at any time.")))