commit | 006ebebe5a9742b641264ea27a82c4b6353c961d | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Sat Jun 28 23:38:04 2003 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Sat Jun 28 23:38:04 2003 +0000 |
tree | 418106e8f44c400bff63883cdeb0bb982d6b3eff | |
parent | b8b6d0c2c63bcd9252ce20ef990da093dda8b8ce [diff] |
By default build docs, don't download them.