Skip site navigation (1)Skip section navigation (2) 
Date:      Wed, 27 Jun 2012 19:30:14 +0000 (UTC)
From:      Pav Lucistnik <pav@FreeBSD.org>
To:        ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org
Subject:   cvs commit: ports/math/proofgeneral Makefile
Message-ID:  <201206271930.q5RJUE9A069800@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help 
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

Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201206271930.q5RJUE9A069800>