diff options
author | Jon Turney <jon.turney@dronecode.org.uk> | 2019-06-11 13:39:45 +0300 |
---|---|---|
committer | Jon Turney <jon.turney@dronecode.org.uk> | 2019-06-11 19:59:13 +0300 |
commit | 0c3affa71ccf8965269f2c4eaab54f7aa189ddb1 (patch) | |
tree | cd28034f9908e7bd04ed1676ba1d239d5245be79 /calm/pkg2html.py | |
parent | dd2acec3d8d881e9560f3f07455f138a140248b8 (diff) |
Touch packages_list.html when packages.inc is updated
Touch packages_list.html when packages.inc is updated, for the benefit
of 'XBitHack full'
Factor out touch utility function
Diffstat (limited to 'calm/pkg2html.py')
-rwxr-xr-x | calm/pkg2html.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/calm/pkg2html.py b/calm/pkg2html.py index 54edca4..a74f913 100755 --- a/calm/pkg2html.py +++ b/calm/pkg2html.py @@ -55,6 +55,7 @@ from .version import SetupVersion from . import common_constants from . import maintainers from . import package +from . import utils # @@ -273,6 +274,11 @@ def update_package_listings(args, packages): print('</table>', file=index) + # touch the including file for the benefit of 'XBitHack full' + package_list = os.path.join(args.htdocs, 'package_list.html') + if os.path.exists(package_list): + utils.touch(package_list) + def write_arch_listing(args, packages, arch): update_summary = set() |