diff options
| author | kloczek | 2001-01-08 16:06:59 (GMT) |
|---|---|---|
| committer | cvs2git | 2012-06-24 12:13:13 (GMT) |
| commit | 48b7c9848842e111f7d802c0a31af83c0de989f6 (patch) | |
| tree | 49545cc2a1a69aa5b9a2656e350768f72d4135a2 /mpatrol-info.patch | |
| parent | 0759ca275aeb0bae1d4bf4c4333f064a70bb0569 (diff) | |
| download | mpatrol-48b7c9848842e111f7d802c0a31af83c0de989f6.zip mpatrol-48b7c9848842e111f7d802c0a31af83c0de989f6.tar.gz | |
- fix info index entry for mpatrol.
Changed files:
mpatrol-info.patch -> 1.1
Diffstat (limited to 'mpatrol-info.patch')
| -rw-r--r-- | mpatrol-info.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/mpatrol-info.patch b/mpatrol-info.patch new file mode 100644 index 0000000..c746198 --- /dev/null +++ b/mpatrol-info.patch @@ -0,0 +1,15 @@ +diff -Nru mpatrol/doc/mpatrol.texi mpatrol.new/doc/mpatrol.texi +--- mpatrol/doc/mpatrol.texi Fri Jan 5 19:39:22 2001 ++++ mpatrol.new/doc/mpatrol.texi Mon Jan 8 16:55:25 2001 +@@ -14,9 +14,9 @@ + @finalout + @c %**end of header + +-@dircategory Programming tools ++@dircategory Programming tools: + @direntry +-* mpatrol: (mpatrol). The mpatrol library. ++* mpatrol: (mpatrol). The mpatrol library + @end direntry + + @c Remember to change these after each revision! |