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/Makefile | |
| parent | 9756c0b0d306f92743cab5f1a12731b82fac11ba (diff) | |
Makefile: Use ?= so variables can be set on command line.
Diffstat (limited to 'man/Makefile')
0 files changed, 0 insertions, 0 deletions