]> git.pld-linux.org Git - packages/make.git/blame - make-info.patch
- info patch is back (updated)
[packages/make.git] / make-info.patch
CommitLineData
7742b61e
JB
1--- make-3.80/doc/make.texi.orig Wed Sep 18 22:51:58 2002
2+++ make-3.80/doc/make.texi Fri Oct 4 21:25:12 2002
3@@ -25,9 +25,9 @@
1add0890 4 @c Combine the program and concept indices:
c0099fee 5 @syncodeindex pg cp
6
1add0890 7-@dircategory GNU Packages
7742b61e 8+@dircategory Programming tools:
c0099fee 9 @direntry
1add0890 10-* Make: (make). Remake files automatically.
7742b61e 11+* Make: (make). Remake files automatically
c0099fee 12 @end direntry
13
1add0890 14 @ifinfo
This page took 0.032675 seconds and 4 git commands to generate.