Ticket #22254: Portfile.diff

File Portfile.diff, 735 bytes (added by kiyoshi.coquser@…, 11 years ago)
  • Portfile

    old new  
    3333build.target       world
    3434destroot.target    install
    3535destroot.destdir   COQINSTALLPREFIX=${destroot}
    36 patchfiles         patch-doc-tools-latex_filter.diff
     36patchfiles         patch-doc-tools-latex_filter.diff \
     37                   patch-tools-coq_makefile.ml4.diff
     38
     39livecheck.type  regex
     40livecheck.url   ${homepage}/download/
     41livecheck.regex "<a href=\"distrib/V(\\d+(?:\\.\\w+)*)/files/coq-\\1\\.tar\\.gz\">"
    3742
    3843post-activate   { ui_msg "The style file for LaTeX documentation,"
    3944                  ui_msg "coqdoc.sty, is in ${prefix}/share/coq/latex."