diff options
author | Dave Love <[email protected]> | 2000-09-22 21:16:52 +0000 |
---|---|---|
committer | Dave Love <[email protected]> | 2000-09-22 21:16:52 +0000 |
commit | 0c356565b96bc0ecd249a5beee403dff3d00b917 (patch) | |
tree | 08d30131c50c23e2194e614a5d1d1f5d501eb225 /man/message.texi | |
parent | 82bb16f832046d01d3197ba828249094566d81f3 (diff) |
Change setfilename.
Diffstat (limited to 'man/message.texi')
-rw-r--r-- | man/message.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/message.texi b/man/message.texi index f5bd43f814..b943908281 100644 --- a/man/message.texi +++ b/man/message.texi @@ -1,6 +1,6 @@ \input texinfo @c -*-texinfo-*- -@setfilename message +@setfilename ../message @settitle Message 5.9.0 Manual @synindex fn cp @synindex vr cp |