Bug#713307: tagging 713307

[Bill Allombert <Bill.Allombert@math.u-bordeaux1.fr>]

On Wed, Jun 26, 2013 at 08:32:42PM -0400, Ryan Kavanagh wrote:
> tags 713307 + pending
> thanks

vera is slated to be removed from testing tomorrow, so please 
upload to fix this bug soon.

FWIW, I join a patch that fix the FTBFS.

Cheers,
-- 
Bill. <ballombe@debian.org>

Imagine a large red swirl here. 

diff -u vera-1.17/vera.texi vera-1.17/vera.texi
--- vera-1.17/vera.texi
+++ vera-1.17/vera.texi
@@ -174,6 +174,33 @@
 * GNU FDL::             The full legalese for copying and distributing
 * Help on: (info).      Getting used to the Info browsing system
 * Index::
+* 0::
+* A::
+* B::
+* C::
+* D::
+* E::
+* F::
+* G::
+* H::
+* I::
+* J::
+* K::
+* L::
+* M::
+* N::
+* O::
+* P::
+* Q::
+* R::
+* S::
+* T::
+* U::
+* V::
+* W::
+* X::
+* Y::
+* Z::
 @end menu
 
 @flushright