projects
/
ibg.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Use pagestyle for standard page headings.
[ibg.git]
/
conf.py
diff --git
a/conf.py
b/conf.py
index 49695f8fbac439a739c51d65732e72815e13cfd4..956d4bc187847f645e8a898e5c55e0945f91485e 100644
(file)
--- a/
conf.py
+++ b/
conf.py
@@
-22,6
+22,8
@@
import codecs
# documentation root, use os.path.abspath to make it absolute, like shown here.
sys.path.insert(0, ".")
# documentation root, use os.path.abspath to make it absolute, like shown here.
sys.path.insert(0, ".")
+import tools.sphinxpatch
+
from tools.inform import InformLexer
from tools.transcript import TranscriptLexer
from tools.inform import InformLexer
from tools.transcript import TranscriptLexer
@@
-288,7
+290,7
@@
latex_documents = [
#latex_use_parts = False
# If true, show page references after internal links.
#latex_use_parts = False
# If true, show page references after internal links.
-latex_show_pagerefs =
Fals
e
+latex_show_pagerefs =
Tru
e
# If true, show URL addresses after external links.
#latex_show_urls = False
# If true, show URL addresses after external links.
#latex_show_urls = False