diff options
author | Eli Zaretskii <[email protected]> | 2000-08-08 10:42:25 +0000 |
---|---|---|
committer | Eli Zaretskii <[email protected]> | 2000-08-08 10:42:25 +0000 |
commit | db2672fe9931b45aea1380bf3fbb55bef5e48f64 (patch) | |
tree | b19200370bcb174b6d31a4609ecce3b7030e2dec /man/woman.texi | |
parent | c45d327a3054196168d5fe14f2f1c6a659f5704d (diff) |
(INFO_TARGETS): Add ../info/woman.
(DVI_TARGETS): Add woman.dvi.
(../info/woman, woman.dvi): New targets.
Diffstat (limited to 'man/woman.texi')
0 files changed, 0 insertions, 0 deletions