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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions