2014-01-05  Oliver Heidelbach  < ohei [at] snafu . de >
     
    * vera.texi:
    Fixed file inclusion error for FDL when using makeinfo.
      
    * fdl.texi:
    Now version 1.3 of the FDL is used and the
    new file name is fdl-1.3.texi.


     Copyright 2014 Oliver Heidelbach
     Copying and distribution of this file, with or without modification, are
     permitted provided the copyright notice and this notice are preserved.