mirror of
https://github.com/python/cpython.git
synced 2025-07-23 11:15:24 +00:00
Change the default path to icons so that "mkhowto" does the "right thing" by
default when used for 3rd-party docs. This requires the standard Python docs to specify a location, but they are a bit of a special case in sharing one set of icons among several documents.
This commit is contained in:
parent
de6977f441
commit
15a159c231
3 changed files with 5 additions and 3 deletions
|
@ -73,10 +73,12 @@ DVIPS= dvips -N0 -t $(PAPER)
|
|||
|
||||
MKDVI= $(PYTHON) ../tools/mkhowto --paper=$(PAPER) --dvi
|
||||
MKHTML= $(PYTHON) tools/mkhowto --html --about html/stdabout.dat \
|
||||
--iconserver ../icons \
|
||||
--address $(PYTHONDOCS) --up-link ../index.html \
|
||||
--up-title "Python Documentation Index" \
|
||||
--global-module-index "../modindex.html" --dvips-safe
|
||||
MKISILOHTML=$(PYTHON) tools/mkhowto --html --about html/stdabout.dat \
|
||||
--iconserver ../icons \
|
||||
--l2h-init perl/isilo.perl --numeric --split 1 \
|
||||
--dvips-safe
|
||||
MKISILO= iSilo386 -U -y -rCR -d0
|
||||
|
|
|
@ -17,7 +17,7 @@ $NUMBERED_FOOTNOTES = 1;
|
|||
#
|
||||
$SHOW_SECTION_NUMBERS = 1;
|
||||
|
||||
$ICONSERVER = '../icons';
|
||||
$ICONSERVER = '.';
|
||||
$IMAGE_TYPE = 'gif';
|
||||
|
||||
# Control where the navigation bars should show up:
|
||||
|
|
|
@ -15,7 +15,7 @@ HTML options:
|
|||
--address, -a Specify an address for page footers.
|
||||
--link Specify the number of levels to include on each page.
|
||||
--split, -s Specify a section level for page splitting, default: %(max_split_depth)s.
|
||||
--iconserver, -i Specify location of icons (default: ../).
|
||||
--iconserver, -i Specify location of icons (default: ./).
|
||||
--image-type Specify the image type to use in HTML output;
|
||||
values: gif (default), png.
|
||||
--numeric Don't rename the HTML files; just keep node#.html for
|
||||
|
@ -93,7 +93,7 @@ class Options:
|
|||
debugging = 0
|
||||
discard_temps = 1
|
||||
have_temps = 0
|
||||
icon_server = None
|
||||
icon_server = "."
|
||||
image_type = "gif"
|
||||
logging = 0
|
||||
max_link_depth = 3
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue