diff options
author | Guilhem Moulin <guilhem@fripost.org> | 2022-02-22 23:44:56 +0100 |
---|---|---|
committer | Guilhem Moulin <guilhem@fripost.org> | 2022-02-23 00:01:42 +0100 |
commit | 79ef41e0b7565c2fed691f1492a1f239dd82e7b6 (patch) | |
tree | 1fb8c472b7bd57c20dd9ae263b9414cca7ca9dac /debian/tests/control | |
parent | 6f6acf57255a7602235792c248d5d4926794395a (diff) |
Makefile: Ignore errors when installing manual pages.
Per https://www.gnu.org/prep/standards/html_node/Standard-Targets.html#Standard-Targets .
Diffstat (limited to 'debian/tests/control')
0 files changed, 0 insertions, 0 deletions