]> git.pld-linux.org Git - packages/autoconf.git/commitdiff
- enhanced info patch: adjust also standards.info
authorJakub Bogusz <qboosh@pld-linux.org>
Sun, 10 Jan 2021 05:50:47 +0000 (06:50 +0100)
committerJakub Bogusz <qboosh@pld-linux.org>
Sun, 10 Jan 2021 05:50:47 +0000 (06:50 +0100)
autoconf-info.patch

index f8649bb17a80655117c03527334b5748905bb53a..3cbf0bdb46ebce8b8179b96c8ffa609b1cff3621 100644 (file)
  @section @command{configure} Invocation
  
  @command{configure} recognizes the following options to control how it
+--- autoconf-2.70/doc/standards.texi.orig      2020-12-02 16:26:23.000000000 +0100
++++ autoconf-2.70/doc/standards.texi   2021-01-09 21:01:18.586724643 +0100
+@@ -6,9 +6,9 @@
+ @set lastupdate June 12, 2020
+ @c %**end of header
+-@dircategory GNU organization
++@dircategory GNU organization:
+ @direntry
+-* Standards: (standards).       GNU coding standards.
++* Standards: (standards).             GNU coding standards
+ @end direntry
+ @c @setchapternewpage odd
This page took 0.03917 seconds and 4 git commands to generate.