diff options
author | Guilhem Moulin <guilhem@fripost.org> | 2022-02-23 02:37:43 +0100 |
---|---|---|
committer | Guilhem Moulin <guilhem@fripost.org> | 2022-02-23 21:23:57 +0100 |
commit | b5f3eeaf83d68c64ee508624afa5b76c14907e15 (patch) | |
tree | d66e52348fde51cf2f878f332fb4354f6baac548 /tests/rename-inferiors/remote.conf | |
parent | eeed44617b8b2bf4c941f6de334a9006804615fb (diff) |
Makefile: Add target 'all-nodoc'.
This is useful for Debian packages built under ‘nodoc’ profile.
Diffstat (limited to 'tests/rename-inferiors/remote.conf')
0 files changed, 0 insertions, 0 deletions