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 /doc/Makefile | |
parent | 46527a939e97a8a0d6d023ad7853e5e9a2df1ea9 (diff) |
Make documentation targets available from the top-level makefile as well,
but not with separate object tree yet.
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions