diff options
| author | jseger <jseger@FreeBSD.org> | 1997-11-28 22:28:59 +0800 |
|---|---|---|
| committer | jseger <jseger@FreeBSD.org> | 1997-11-28 22:28:59 +0800 |
| commit | 80771ed5ce53c100ffb0c59049e1257e5c2a9735 (patch) | |
| tree | ca60163d4712ecb9c82640a3d1d0b4e9799576f7 | |
| parent | 201d90740b3598d79eeb7f705917a503417408a9 (diff) | |
| download | freebsd-ports-gnome-80771ed5ce53c100ffb0c59049e1257e5c2a9735.tar.gz freebsd-ports-gnome-80771ed5ce53c100ffb0c59049e1257e5c2a9735.tar.zst freebsd-ports-gnome-80771ed5ce53c100ffb0c59049e1257e5c2a9735.zip | |
Add @direntry and @direcategory to indent.texinfo so that install-info works
correctly.
| -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 000000000000..33db6d3f1df7 --- /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 |