diff options
| author | dequis <dx@dxzone.com.ar> | 2015-05-17 00:41:41 -0300 |
|---|---|---|
| committer | dequis <dx@dxzone.com.ar> | 2015-05-17 00:41:41 -0300 |
| commit | baa09ccba7c014338f24176129ee1d07ebb8502e (patch) | |
| tree | a69e49f35eaf94c8b0d0c589b32a8cfd40d2a96d /configure | |
| parent | ad678a46c9cfba48a957114fdd36bc4fe77ae759 (diff) | |
Build only help.txt (with genhelp.py), create 'user-guide' target
Since user-guide.{txt,html} aren't normally needed for anything and add
xsltproc/xmlto as dependencies.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions