diff options
| author | Kamil Dudka <kdudka@redhat.com> | 2018-08-09 17:16:19 +0200 |
|---|---|---|
| committer | Kamil Dudka <kdudka@redhat.com> | 2018-08-13 14:02:16 +0200 |
| commit | 60000eb82f1a4f242ffb134905a820e035a292c2 (patch) | |
| tree | b6819b08d2774d700a7baf1dec4adbb8b3cad10a /docs/cmdline-opts/Makefile.inc | |
| parent | 41dabac76106e8a4bc667fd7102c12b5bec10056 (diff) | |
.travis.yml: verify that man pages can be regenerated
... when curl is built from distribution tarball
Closes #2856
Diffstat (limited to 'docs/cmdline-opts/Makefile.inc')
0 files changed, 0 insertions, 0 deletions