Ticket #1431: gmake.diff

File gmake.diff, 505 bytes (added by blb@…, 20 years ago)

unidiff to Portfile

  • Portfile

    old new  
    33PortSystem 1.0
    44name            gmake
    55version         3.80
     6revision        1
    67categories      devel
    78maintainers     waqar@opendarwin.org
    89description     GNU Make
    … …  
    2020distname        ${d_name}-${version}
    2121master_sites    gnu:${d_name}
    2222checksums       md5 c68540da9302a48068d5cce1f0099477
    23 configure.args-append --program-prefix=g
     23configure.args  --program-prefix=g --infodir=${prefix}/share/info \
     24                                --mandir=${prefix}/share/man
     25