gengetopt-info.patch

   1 --- gengetopt-2.23/doc/gengetopt.texi.orig      2019-06-26 21:12:05.153756178 +0200
   2 +++ gengetopt-2.23/doc/gengetopt.texi   2019-06-26 21:43:17.613612193 +0200
   3 @@ -47,9 +47,9 @@
   4  @end quotation
   5  @end copying
   6
   7 -@dircategory GNU programming tools
   8 +@dircategory Programming tools:
   9  @direntry
  10 -* Gengetopt: (gengetopt). Create command line options parsers
  11 +* Gengetopt: (gengetopt).              Create command line options parsers
  12  @end direntry
  13
  14  @titlepage