• Antoine Martin's avatar
    Change default makeinfo path · 85a207a7
    Antoine Martin authored
    With the switch to UIOP:RUN-PROGRAM, it makes sense to default to
    the one found in the path. The user can still specify a custom
    location if needed.
    85a207a7