\emph{%(tool)s, The %(name)s Development Environment}

\emph{%(edition)s}

\begin{DUlineblock}{0em}
\item[] Version %(version)s
\item[] Date: %(date)s
\end{DUlineblock}

AdaCore

Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.3 or
any later version published by the Free Software Foundation; with no
Invariant Sections, with the Front-Cover Texts being ``GNAT Reference
Manual'', and with no Back-Cover Texts.  A copy of the license is
included in the section entitled {\hyperref[share/gnu_free_documentation_license:gnu\string-fdl]{\sphinxcrossref{\DUrole{std,std-ref}{GNU Free Documentation License}}}}.