diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2020-09-30 14:24:01 +0200 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2020-09-30 14:43:12 +0200 |
| commit | 550f3ba68dc23b417f9ae4383dff3931ebe4b6c1 (patch) | |
| tree | 63223792900c4704f5e2008455e130b3d9d95349 /docs/.gitignore | |
| parent | 885a4e6ca772dc04452bd34541599d295ff8cd5a (diff) | |
| download | systemd-550f3ba68dc23b417f9ae4383dff3931ebe4b6c1.tar.gz | |
man/html: fix invocation for pages which are *not* symlinks
It seems I tested that redirects work, but I forgot to check that non-redirects
are still fine too ;(
Diffstat (limited to 'docs/.gitignore')
0 files changed, 0 insertions, 0 deletions