Build a description of the
Macro:
(defmacro xdoc::desc-apt-input-old-to-wrapper-name nil '(xdoc::desc "@(':old-to-wrapper-name') — default from <see topic='@(url defaults-table)'>table</see>" (xdoc::p "Determines the name of the theorem that rewrites the old function in terms of the wrapper function.") (xdoc::p "It must be one of the following:") (xdoc::ul (xdoc::li "A keyword, to use as separator between the names of @('old') and @('wrapper'). A keyword @(':kwd') specifies the theorem name @('oldkwdwrapper'), in the same package as @('wrapper').") (xdoc::li "Any other symbol, to use as the name of 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-name).")) (xdoc::p "This input may be present only if the @(':wrapper') input is @('t').") (xdoc::p "In the rest of this documentation page, let @('old-to-wrapper') be the name of this theorem (if it is generated).")))