From owner-cvs-all@FreeBSD.ORG Wed Jun 27 19:30:15 2012 Return-Path: Delivered-To: cvs-all@FreeBSD.org Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52]) by hub.freebsd.org (Postfix) with ESMTP id 27C8C1065670; Wed, 27 Jun 2012 19:30:15 +0000 (UTC) (envelope-from pav@FreeBSD.org) Received: from repoman.freebsd.org (repoman.freebsd.org [IPv6:2001:4f8:fff6::29]) by mx1.freebsd.org (Postfix) with ESMTP id EEE1C8FC1C; Wed, 27 Jun 2012 19:30:14 +0000 (UTC) Received: from repoman.freebsd.org (localhost [127.0.0.1]) by repoman.freebsd.org (8.14.4/8.14.4) with ESMTP id q5RJUEwb069801; Wed, 27 Jun 2012 19:30:14 GMT (envelope-from pav@repoman.freebsd.org) Received: (from pav@localhost) by repoman.freebsd.org (8.14.4/8.14.4/Submit) id q5RJUE9A069800; Wed, 27 Jun 2012 19:30:14 GMT (envelope-from pav) Message-Id: <201206271930.q5RJUE9A069800@repoman.freebsd.org> From: Pav Lucistnik Date: Wed, 27 Jun 2012 19:30:14 +0000 (UTC) To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org X-FreeBSD-CVS-Branch: HEAD Cc: Subject: cvs commit: ports/math/proofgeneral Makefile X-BeenThere: cvs-all@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: **OBSOLETE** CVS commit messages for the entire tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 27 Jun 2012 19:30:15 -0000 pav 2012-06-27 19:30:14 UTC FreeBSD ports repository Modified files: math/proofgeneral Makefile Log: - Mark BROKEN: does not build texi2html -expandinfo -number -split_chapter --noheader --output PG-adapting PG-adapting.texi Option number is ambiguous (number-footnotes, number-sections) Reported by: pointyhat Revision Changes Path 1.30 +2 -0 ports/math/proofgeneral/Makefile