simon-git: putty-website (main): Simon Tatham

[Commits to Tartarus hosted VCS]

TL;DR:
  d6922ec build.pl: allow the --file option to be set in config.pl.

Repository:     https://git.tartarus.org/simon/putty-website.git
On the web:     https://git.tartarus.org/?p=simon/putty-website.git
Branch updated: main
Committer:      Simon Tatham <anakin at pobox.com>
Date:           2021-07-05 18:00:58

commit d6922ec818dc724a46994533c8484f64d48df025
web diff https://git.tartarus.org/?p=simon/putty-website.git;a=commitdiff;h=d6922ec818dc724a46994533c8484f64d48df025;hp=f0a6c125fdff9def2f063eb45697f1a1e0fef5e9
Author: Simon Tatham <anakin at pobox.com>
Date:   Mon Jul 5 17:59:37 2021 +0100

    build.pl: allow the --file option to be set in config.pl.
    
    You use it when you don't have a web server pointing at your output
    directory. That is very likely to be the same every time you run the
    script in a given checkout, so it makes sense to allow the option to
    be specified in config.pl rather than have to put it on the command
    line every time.
    
    So now you can say '$filemode = 1;' in config.pl.

 build.pl | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)