Rename $PYTHON_VERSION to $PACKAGE_VERSION; this is the version number for
whatever is being documented, not necessarily Python. (These tools are
also used for the How-To documents, etc.)
diff --git a/Doc/perl/python.perl b/Doc/perl/python.perl
index 476ef66..0066703 100644
--- a/Doc/perl/python.perl
+++ b/Doc/perl/python.perl
@@ -103,13 +103,13 @@
$DEVELOPER_ADDRESS = '';
$SHORT_VERSION = '';
-$PYTHON_VERSION = '';
+$PACKAGE_VERSION = '';
-sub do_cmd_version{ $PYTHON_VERSION . @_[0]; }
+sub do_cmd_version{ $PACKAGE_VERSION . @_[0]; }
sub do_cmd_shortversion{ $SHORT_VERSION . @_[0]; }
sub do_cmd_release{
local($_) = @_;
- $PYTHON_VERSION = next_argument();
+ $PACKAGE_VERSION = next_argument();
return $_;
}
@@ -1024,6 +1024,9 @@
elsif ($font eq 'kbd') {
$font = 'kbd';
}
+ elsif ($font eq 'programopt') {
+ $font = 'b';
+ }
return $font;
}
@@ -1270,8 +1273,8 @@
}
if ($t_date) {
$the_title .= "\n<p><strong>$t_date</strong>";
- if ($PYTHON_VERSION) {
- $the_title .= "<br><strong>Release $PYTHON_VERSION</strong>";
+ if ($PACKAGE_VERSION) {
+ $the_title .= "<br><strong>Release $PACKAGE_VERSION</strong>";
}
$the_title .= "</p>"
}