diff options
| author | Martin Mares <mj@ucw.cz> | 2000-05-31 11:36:21 +0000 |
|---|---|---|
| committer | Martin Mares <mj@ucw.cz> | 2000-05-31 11:36:21 +0000 |
| commit | fec5bec0b5f0e114a635c99a731e922ce735ff81 (patch) | |
| tree | 31eb72b624405713fbe1fd38351d4732ede80443 /configure.in | |
| parent | 46527a939e97a8a0d6d023ad7853e5e9a2df1ea9 (diff) | |
Make documentation targets available from the top-level makefile as well,
but not with separate object tree yet.
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions