445abf1e31
Quieten pushd/popd
2020-06-02 13:14:02 +01:00
65fb0f901c
Message clarification and improvement.
2020-05-26 15:02:59 +01:00
414b074bad
Tidy up the web setup script output.
2020-05-19 14:27:23 +01:00
94bd1f1680
Cleanup Python detection in the runtime project file. Fixes #5444
2020-05-04 10:20:51 +01:00
f97d29243d
Don't offer to configure Apache on Redhat platforms as there's nothing to do.
2020-03-24 11:36:54 +00:00
e1aeaba942
Simplify PYTHONPATH handling for Sphinx.
2020-03-20 12:07:35 +00:00
8812a7db69
Add support for building RPMs on CentOS/RHEL 7
2020-03-19 12:56:39 -04:00
f156696339
Add support for building RHEL/CentOS 8 RPMs.
2020-03-18 08:51:11 -04:00
b6c8707a4d
Don't barf if the tree is clean.
2020-03-16 12:40:01 +00:00
a684b48fb3
Add experimental scripts for building Debian/Ubuntu packages.
...
Code is split into pkg/debian for the Debian/Ubuntu specific parts,
and pkg/linux for generic code that can be used on other distros.
Tested on Debian 10 and Ubuntu 18.04 at present.
2020-03-12 15:24:58 +00:00
Dave Page