| commit | 8b49eb132eae6fd3de081addb06d967470bfa2aa | [log] [tgz] |
|---|---|---|
| author | Qi Wang <interwq@gwu.edu> | Tue Jan 11 15:02:44 2022 -0800 |
| committer | Qi Wang <interwq@gmail.com> | Tue Jan 11 21:15:24 2022 -0800 |
| tree | 3ba353bd6491b413a6656912762f4ed512f2bd3a | |
| parent | ddb170b1d92d90ecee9ce87545086da9b34839aa [diff] |
Fix the HELP_STRING of --enable-doc.