diff options
Diffstat (limited to 'devel/bnf/files/patch-doc::bnf.texi')
| -rw-r--r-- | devel/bnf/files/patch-doc::bnf.texi | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/devel/bnf/files/patch-doc::bnf.texi b/devel/bnf/files/patch-doc::bnf.texi new file mode 100644 index 000000000000..0471adbab39f --- /dev/null +++ b/devel/bnf/files/patch-doc::bnf.texi @@ -0,0 +1,13 @@ +--- doc/bnf.texi.orig Thu May 22 06:32:29 2003 ++++ doc/bnf.texi Thu May 22 06:34:23 2003 +@@ -2,6 +2,10 @@ + @c %**start of header + @setfilename bnf.info + @settitle BNF Parser Generator ++@dircategory Programming Tools ++@direntry ++* bnf: (bnf). A simple parser generator ++@end direntry + @c %**end of header + + |