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 /doc/build.md | |
| parent | eeed44617b8b2bf4c941f6de334a9006804615fb (diff) | |
Makefile: Add target 'all-nodoc'.
This is useful for Debian packages built under ‘nodoc’ profile.
Diffstat (limited to 'doc/build.md')
0 files changed, 0 insertions, 0 deletions