Index: manual-print2.xml.in =================================================================== --- manual-print2.xml.in (revision 24879) +++ manual-print2.xml.in (working copy) @@ -197,7 +197,6 @@ - Index: manual.xml.in =================================================================== --- manual.xml.in (revision 24879) +++ manual.xml.in (working copy) @@ -2006,11 +2006,6 @@ - - - - -