diff options
author | rsiddharth <s@ricketyspace.net> | 2016-12-17 04:11:52 +0000 |
---|---|---|
committer | rsiddharth <s@ricketyspace.net> | 2016-12-17 04:11:52 +0000 |
commit | 78231eb914da59951d5cd494e9f23a54c8b179e1 (patch) | |
tree | 2c37bd35855c6990adad2d59f365210fd7087da3 /gd_diff.py | |
parent | b9248aae87ba6fb47fdf0bcca5e7cd59ce94b7ba (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.py | 18 |
1 files changed, 9 insertions, 9 deletions
@@ -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) |