[ghdl/f19] (9 commits) ...texinfo patch fixes

[sailer]

Summary of changes:

  0c883d9... update for gnat 4.8 (*)
  06fe474... Merge branch 'master' of ssh://pkgs.fedoraproject.org/ghdl (*)
  fbf054f... bump release (*)
  16cc99c... fix changelog dates (*)
  4db3126... texinfo build fix (*)
  3ced926... add missing patch (*)
  d97cd33... fix texinfo patch (*)
  21d1f5b... more texinfo fixes (*)
  cd4ac19... texinfo patch fixes (*)

(*) This commit already existed in another branch; no separate mail sent