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