diff options
| author | John Keeping <john@keeping.me.uk> | 2018-03-31 14:20:01 +0100 |
|---|---|---|
| committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2018-06-27 18:11:19 +0200 |
| commit | c1572bb5ec4540b5008490cf471cc4a5e65ef728 (patch) | |
| tree | 5f31bf0e4ca63ab94b74a85897d37481474c92a0 /filters/html-converters/man2html | |
| parent | d85e8a9810cbfbe5cfe80509a7b47cb39483e6ac (diff) | |
Add "snapshot-prefix" repo configuration
Allow using a user-specified value for the prefix in snapshot files instead of the repository basename. For example, files downloaded from the linux-stable.git repository should be named linux-$VERSION and not linux-stable-$VERSION, which can be achieved by setting: repo.snapshot-prefix=linux Signed-off-by: John Keeping <john@keeping.me.uk> Reviewed-by: Christian Hesse <mail@eworm.de>
Diffstat (limited to 'filters/html-converters/man2html')
0 files changed, 0 insertions, 0 deletions