Ensure it's called "HISTORY" not "REVISION HISTORY"

The GFDL specifically names a "History" section, so let's make sure we
stay within that language.
This commit is contained in:
Harald Welte 2016-02-20 18:13:53 +01:00
parent fbec34a20f
commit 03febbaa2e
1 changed files with 3 additions and 0 deletions

View File

@ -24,6 +24,9 @@
\def\DBKcover{
\ifthenelse{\equal{\DBKedition}{}}{\def\edhead{}}{\def\edhead{Ed. \DBKedition}}
% ensure the section is called just HISTORY as required by GFDL
\def\DBKrevtitle{HISTORY}
% interligne double
\setlength{\oldbaselineskip}{\baselineskip}
\setlength{\baselineskip}{2\oldbaselineskip}