diff options
| author | Charadon <dev@iotib.net> | 2022-10-08 14:57:05 -0400 |
|---|---|---|
| committer | Charadon <dev@iotib.net> | 2022-10-08 14:57:05 -0400 |
| commit | 3ab7ec9bc605c34dc6ad5994457106b20b72d7ff (patch) | |
| tree | 273cd7bf2a6ab4b979061620ac856631cdcaef69 /config.sh | |
| parent | defc744ef6bdbf6696336b790afbfe3082b97cfd (diff) | |
| download | dscip-3ab7ec9bc605c34dc6ad5994457106b20b72d7ff.tar.gz | |
Makefile: If makeinfo fails, try gmakeinfo instead.
Diffstat (limited to 'config.sh')
0 files changed, 0 insertions, 0 deletions