Ticket #22254: Portfile.diff
File Portfile.diff, 735 bytes (added by kiyoshi.coquser@…, 15 years ago) |
---|
-
Portfile
old new 33 33 build.target world 34 34 destroot.target install 35 35 destroot.destdir COQINSTALLPREFIX=${destroot} 36 patchfiles patch-doc-tools-latex_filter.diff 36 patchfiles patch-doc-tools-latex_filter.diff \ 37 patch-tools-coq_makefile.ml4.diff 38 39 livecheck.type regex 40 livecheck.url ${homepage}/download/ 41 livecheck.regex "<a href=\"distrib/V(\\d+(?:\\.\\w+)*)/files/coq-\\1\\.tar\\.gz\">" 37 42 38 43 post-activate { ui_msg "The style file for LaTeX documentation," 39 44 ui_msg "coqdoc.sty, is in ${prefix}/share/coq/latex."