diff options
| author | J.D. Smith <[email protected]> | 2002-07-19 01:33:34 +0000 |
|---|---|---|
| committer | J.D. Smith <[email protected]> | 2002-07-19 01:33:34 +0000 |
| commit | 58d8692a1b9c3572762d51d2268f9fa3af2d20a1 (patch) | |
| tree | 0be3c5777a38946c94b0fd4a70bfedb560047ab4 /man | |
| parent | 5e72c6b20edf9a6ea3316f9d71a4fdda34654381 (diff) | |
Fixed filename.
Diffstat (limited to 'man')
| -rw-r--r-- | man/idlwave.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/idlwave.texi b/man/idlwave.texi index a9a39d9343..b5005dd68e 100644 --- a/man/idlwave.texi +++ b/man/idlwave.texi @@ -1,6 +1,6 @@ \input texinfo @c -*-texinfo-*- @c %**start of header -@setfilename idlwave +@setfilename ../info/idlwave @settitle IDLWAVE User Manual @dircategory Editors @direntry |