diff options
author | Josip Rodin <joy> | 2001-08-09 22:32:28 +0000 |
---|---|---|
committer | Josip Rodin <joy> | 2001-08-09 22:32:28 +0000 |
commit | bec839f4588dcbbc87b512d443199d6a699dac67 (patch) | |
tree | 6a46b7af09efc039f6a55f5db4cd9d7a5b7fbfb4 /make_all.pl | |
parent | 2c9d4483b97ca1a6bbcbf864ef028f61f6ecfd1f (diff) |
hey, we can make HTMLDIR a target, and have make run test+mkdir only if it doesn't exist
CVS version numbers
Makefile.common: 1.41 -> 1.42
Diffstat (limited to 'make_all.pl')
0 files changed, 0 insertions, 0 deletions