diff options
author | jseger <jseger@FreeBSD.org> | 1997-11-28 14:28:59 +0000 |
---|---|---|
committer | jseger <jseger@FreeBSD.org> | 1997-11-28 14:28:59 +0000 |
commit | 80771ed5ce53c100ffb0c59049e1257e5c2a9735 (patch) | |
tree | ca60163d4712ecb9c82640a3d1d0b4e9799576f7 /devel/gindent | |
parent | 201d90740b3598d79eeb7f705917a503417408a9 (diff) | |
download | FreeBSD-ports-80771ed5ce53c100ffb0c59049e1257e5c2a9735.zip FreeBSD-ports-80771ed5ce53c100ffb0c59049e1257e5c2a9735.tar.gz |
Add @direntry and @direcategory to indent.texinfo so that install-info works
correctly.
Diffstat (limited to 'devel/gindent')
-rw-r--r-- | devel/gindent/files/patch-ab | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/devel/gindent/files/patch-ab b/devel/gindent/files/patch-ab new file mode 100644 index 0000000..33db6d3 --- /dev/null +++ b/devel/gindent/files/patch-ab @@ -0,0 +1,14 @@ +--- indent.texinfo.orig Wed Feb 2 15:07:25 1994 ++++ indent.texinfo Fri Nov 28 09:17:03 1997 +@@ -19,6 +19,11 @@ + @setchapternewpage odd + + @ifinfo ++@dircategory GNU indent ++@direntry ++* GNU indent: (indent). GNU indent changes the appareance of a C program ++ by inserting or deleting whitespace. ++@end direntry + Copyright (C) 1989, 1992, 1993, 1994 Free Software Foundation, Inc. + + @c !!set edition, date, version |