diff options
author | John MacFarlane <jgm@berkeley.edu> | 2014-09-24 22:22:51 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2014-09-24 22:24:06 -0700 |
commit | e752b9776d434f63768c50e4c73c533a43529052 (patch) | |
tree | 94a8fb2c8fe5ecdfa5693a3400d0b87e5dd7a26f /man | |
parent | 9756c0b0d306f92743cab5f1a12731b82fac11ba (diff) |
Makefile: Use ?= so variables can be set on command line.
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions