| commit | 1eda203a02df15c0b94593b5601f5a2eb2d6ae9d | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sun Jan 21 22:24:27 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sun Jan 21 22:24:27 2001 +0000 |
| tree | 6819a97f3e6aa50fbed1cb538cffea502fd7df4e | |
| parent | d6389956cb2eec713458a7447b121738b53a5244 [diff] |
Added a force option (to force project generation, the default is now to only generate if different). Try to convert all search paths to relative.