commit | eb8d5032b4dbc7c23e6068a1e236b3895416eb03 | [log] [tgz] |
---|---|---|
author | Guido van Rossum <guido@python.org> | Fri Aug 09 21:46:05 1996 +0000 |
committer | Guido van Rossum <guido@python.org> | Fri Aug 09 21:46:05 1996 +0000 |
tree | 911c6863d831865a921a11bef235cdad551ef5d4 | |
parent | e5e55d784ded7726736d5b3e9cfa05d159f5d6d2 [diff] |
Separate .dvi and .ps targets. More rational destination for texi2html.py.