Received: by mail.netbsd.org (Postfix, from userid 605) id 4648A84F26; Sat, 16 Jun 2018 10:25:53 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by mail.netbsd.org (Postfix) with ESMTP id 49CCF84EAF for ; Sat, 16 Jun 2018 10:25:52 +0000 (UTC) X-Virus-Scanned: amavisd-new at netbsd.org Received: from mail.netbsd.org ([IPv6:::1]) by localhost (mail.netbsd.org [IPv6:::1]) (amavisd-new, port 10025) with ESMTP id wyfFDBq_AUNu for ; Sat, 16 Jun 2018 10:25:51 +0000 (UTC) Received: from cvs.NetBSD.org (ivanova.netbsd.org [199.233.217.197]) by mail.netbsd.org (Postfix) with ESMTP id 7053A84DF9 for ; Sat, 16 Jun 2018 10:25:51 +0000 (UTC) Received: by cvs.NetBSD.org (Postfix, from userid 500) id 63181FBEC; Sat, 16 Jun 2018 10:25:51 +0000 (UTC) Content-Transfer-Encoding: 7bit Content-Type: multipart/mixed; boundary="_----------=_1529144751293420" MIME-Version: 1.0 Date: Sat, 16 Jun 2018 10:25:51 +0000 From: "Mark Davies" Subject: CVS commit: pkgsrc/lang/coq To: pkgsrc-changes@NetBSD.org Reply-To: markd@netbsd.org X-Mailer: log_accum Message-Id: <20180616102551.63181FBEC@cvs.NetBSD.org> Sender: pkgsrc-changes-owner@NetBSD.org List-Id: pkgsrc-changes.NetBSD.org Precedence: bulk List-Unsubscribe: This is a multi-part message in MIME format. --_----------=_1529144751293420 Content-Disposition: inline Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="US-ASCII" Module Name: pkgsrc Committed By: markd Date: Sat Jun 16 10:25:51 UTC 2018 Modified Files: pkgsrc/lang/coq: PLIST Log Message: coq: always installs coqdoc.sty in tex tree. To generate a diff of this commit: cvs rdiff -u -r1.26 -r1.27 pkgsrc/lang/coq/PLIST Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files. --_----------=_1529144751293420 Content-Disposition: inline Content-Length: 814 Content-Transfer-Encoding: binary Content-Type: text/x-diff; charset=us-ascii Modified files: Index: pkgsrc/lang/coq/PLIST diff -u pkgsrc/lang/coq/PLIST:1.26 pkgsrc/lang/coq/PLIST:1.27 --- pkgsrc/lang/coq/PLIST:1.26 Mon Apr 9 11:29:23 2018 +++ pkgsrc/lang/coq/PLIST Sat Jun 16 10:25:51 2018 @@ -1,4 +1,4 @@ -@comment $NetBSD: PLIST,v 1.26 2018/04/09 11:29:23 jaapb Exp $ +@comment $NetBSD: PLIST,v 1.27 2018/06/16 10:25:51 markd Exp $ bin/coq-tex bin/coq_makefile bin/coqc @@ -5312,7 +5312,7 @@ ${PLIST.doc}share/doc/coq/ps/Library.ps ${PLIST.doc}share/doc/coq/ps/RecTutorial.ps ${PLIST.doc}share/doc/coq/ps/Reference-Manual.ps ${PLIST.doc}share/doc/coq/ps/Tutorial.ps -${PLIST.doc}share/texmf-dist/tex/latex/coq/coqdoc.sty +share/texmf-dist/tex/latex/coq/coqdoc.sty share/emacs/site-lisp/coq-font-lock.el share/emacs/site-lisp/coq-inferior.el share/emacs/site-lisp/gallina-db.el --_----------=_1529144751293420--