| commit | fcb8725de5e8c6a839cc31722ebe6edca06d8947 | [log] [tgz] |
|---|---|---|
| author | Fred Drake <fdrake@acm.org> | Tue Aug 29 18:15:05 2000 +0000 |
| committer | Fred Drake <fdrake@acm.org> | Tue Aug 29 18:15:05 2000 +0000 |
| tree | c82ed55c10fe0403032ea3de1ac02cb82eb282af | |
| parent | d50a1877ee51a275a132c05d89bac12958811a5d [diff] |
Add a --style option to allow specifying an alternate CSS style sheet for HTML generation; the machinery was there but no option to set it was defined. Simplify some of the path-math since we can assume a recent version of Python.