diff options
| author | Daniel Stenberg <daniel@haxx.se> | 2016-11-25 11:14:58 +0100 |
|---|---|---|
| committer | Daniel Stenberg <daniel@haxx.se> | 2016-11-25 11:14:58 +0100 |
| commit | 9bfb00efc9250fc8714743d208208730922ca0c0 (patch) | |
| tree | e82e86a55d23891c528f82d907610d7951b3c841 /.gitignore | |
| parent | 4f8b17743d7c55a0bfb48463238c88564875ae47 (diff) | |
docs: include all opts man pages in dist
Sorted the lists too.
... and include the new ones in the PDF and HTML generation targets
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions