Skip to content

Instantly share code, notes, and snippets.

@shirou
Created April 3, 2013 06:32
Show Gist options
  • Save shirou/5298902 to your computer and use it in GitHub Desktop.
Save shirou/5298902 to your computer and use it in GitHub Desktop.
tinkerer dirhtml patch
diff -r f1a8f84556d7 tinkerer/cmdline.py
--- a/tinkerer/cmdline.py Tue Apr 02 23:28:06 2013 +0700
+++ b/tinkerer/cmdline.py Wed Apr 03 15:31:24 2013 +0900
@@ -54,7 +54,7 @@
# silence Sphinx if in quiet mode
if quiet or filename_only:
flags.append("-q")
- flags += ["-d", paths.doctree, "-b", "html", paths.root, paths.html]
+ flags += ["-d", paths.doctree, "-b", "dirhtml", paths.root, paths.html]
# build always prints "index.html"
if filename_only:
diff -r f1a8f84556d7 tinkerer/ext/patch.py
--- a/tinkerer/ext/patch.py Tue Apr 02 23:28:06 2013 +0700
+++ b/tinkerer/ext/patch.py Wed Apr 03 15:31:24 2013 +0900
@@ -122,7 +122,7 @@
Hyperlink titles by embedding appropriate a tag inside
h1 tags (which should only be post titles).
"""
- body = body.replace("<h1>", '<h1><a href="%s.html">' %
+ body = body.replace("<h1>", '<h1><a href="%s/index.html">' %
(docpath + docname), 1)
body = body.replace("</h1>", "</a></h1>", 1)
return body
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment