diff options
| author | Michael Biebl <mbiebl@gmail.com> | 2008-05-10 18:55:54 +0200 |
|---|---|---|
| committer | Michael Biebl <mbiebl@gmail.com> | 2008-05-10 18:55:54 +0200 |
| commit | 3342684a217aefa3179192dad9cb364b9a319e20 (patch) | |
| tree | 5322635013a67d9d9d3b745d258a88cfc45208c4 /src/.gitignore | |
| parent | c6c675a5d85e0a3cf664eeb2e936102623cbf8d2 (diff) | |
Make xmlto mandatory.
Make xmlto mandatory for now. We can provide ./configure switch if
requested.
Diffstat (limited to 'src/.gitignore')
0 files changed, 0 insertions, 0 deletions