Commit 8b0d3fbe authored by POTTIER Francois's avatar POTTIER Francois

Include a version number in the documentation.

parent 5d42716e
......@@ -12,12 +12,16 @@
\input{macros}
% Style.
\renewcommand{\emph}[1]{\textbf{#1}}
\input{version}
% Let our version number appear at the bottom right of every page.
\makeatletter
\def\@formatyear{\visitorsversion}
\makeatother
% ------------------------------------------------------------------------------
% Headings.
\title{Visitors}
\title{Visitors\\\normalsize version \visitorsversion}
\begin{document}
\authorinfo{François Pottier}{Inria Paris}{francois.pottier@inria.fr}
\maketitle
......
\gdef\visitorsversion{(unreleased)} % To be overridden.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment