Build a description of the
Macro:
(defmacro xdoc::desc-apt-input-new-to-old-enable nil '(xdoc::desc "@(':new-to-old-enable') — default from <see topic='@(url defaults-table)'>table</see>" (xdoc::p "Determines whether the @('new-to-old') 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-new-to-old-enable).")) (xdoc::p "If this input is @('t'), the @(':old-to-new-enable') input must be @('nil'). At most one of these two inputs may be @('t') at any time.")))