]> granicus.if.org Git - python/commit
add another way to specify an alternate name for the documentation set,
authorFred Drake <fdrake@acm.org>
Sat, 13 Nov 2004 17:45:39 +0000 (17:45 +0000)
committerFred Drake <fdrake@acm.org>
Sat, 13 Nov 2004 17:45:39 +0000 (17:45 +0000)
commit1681b622515e2c174d59e79746579e71339adc04
treed2f74e1220f1b1573180ed191402eb854da057f3
parentbbc0d4409c4edc43d9f9b38bff089fd63f43734a
add another way to specify an alternate name for the documentation set,
so that this is harder to forget to do for development of new styles
Doc/.cvsignore
Doc/tools/push-docs.sh