summaryrefslogtreecommitdiffstats
path: root/gd_diff.py
diff options
context:
space:
mode:
authorrsiddharth <s@ricketyspace.net>2016-12-17 04:11:52 +0000
committerrsiddharth <s@ricketyspace.net>2016-12-17 04:11:52 +0000
commit78231eb914da59951d5cd494e9f23a54c8b179e1 (patch)
tree2c37bd35855c6990adad2d59f365210fd7087da3 /gd_diff.py
parentb9248aae87ba6fb47fdf0bcca5e7cd59ce94b7ba (diff)
Move around `write_wiki_page`.
* gd_diff.py (write_wiki_page): Move to different place.
Diffstat (limited to 'gd_diff.py')
-rw-r--r--gd_diff.py18
1 files changed, 9 insertions, 9 deletions
diff --git a/gd_diff.py b/gd_diff.py
index f2e69fe..c6b3b36 100644
--- a/gd_diff.py
+++ b/gd_diff.py
@@ -206,15 +206,6 @@ def wiki_page_dir(release):
return wd_release
-def write_wiki_page(release, content):
- """Write wiki page `content` to `release`' last.rev file.
-
- """
- wd_release = wiki_page_dir(release)
- wp_file = os.path.join(wd_release, 'last.rev')
- write_file(wp_file, content)
-
-
def configured_p():
"""Returns True if gns-deb-diff is configured; False otherwise.
"""
@@ -395,3 +386,12 @@ def generate_wiki_page(release):
wiki_page = gns_wiki_header() + '\n' + wiki_table
return pkgs_noreadmes, wiki_page
+
+
+def write_wiki_page(release, content):
+ """Write wiki page `content` to `release`' last.rev file.
+
+ """
+ wd_release = wiki_page_dir(release)
+ wp_file = os.path.join(wd_release, 'last.rev')
+ write_file(wp_file, content)