chiark
/
gitweb
/
~cjwatson
/
blog.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
6d848e3
)
documentation/python: bad documentation copypaste? probably.
author
Vladimír Vondruš
<mosra@centrum.cz>
Thu, 22 Aug 2019 21:02:12 +0000
(23:02 +0200)
committer
Vladimír Vondruš
<mosra@centrum.cz>
Sun, 25 Aug 2019 10:38:27 +0000
(12:38 +0200)
documentation/python.py
patch
|
blob
|
history
diff --git
a/documentation/python.py
b/documentation/python.py
index df2da2409d7574d3e9414626eb580a2055d91ef1..4732b80817657d30aedbfd2608ce11d89e5da007 100755
(executable)
--- a/
documentation/python.py
+++ b/
documentation/python.py
@@
-2076,7
+2076,7
@@
def run(basedir, config, *, templates=default_templates, search_add_lookahead_ba
logging.debug("copying %s to output", i)
shutil.copy(i, os.path.join(config['OUTPUT'], os.path.basename(i)))
- # Call all registered finalization hooks
for the first time
+ # Call all registered finalization hooks
for hook in state.hooks_post_run: hook()
if __name__ == '__main__': # pragma: no cover