diff options
author | P. J. McDermott <pjm@nac.net> | 2013-03-31 23:21:10 (EDT) |
---|---|---|
committer | P. J. McDermott <pjm@nac.net> | 2013-03-31 23:21:10 (EDT) |
commit | 6460a4dd17e0f39aa09dd351ab40e0e892a852a7 (patch) | |
tree | 6788af5114a74e6edb13ec750d417025172558f9 /patches/01_remove-manual.patch | |
parent | 0563471f8a1dd14da6043cdb17e1af4df9364a6e (diff) |
build: Don't build the info manual.
Diffstat (limited to 'patches/01_remove-manual.patch')
0 files changed, 0 insertions, 0 deletions