diff options
Diffstat (limited to 'Library/Formula/proof-general.rb')
| -rw-r--r-- | Library/Formula/proof-general.rb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Library/Formula/proof-general.rb b/Library/Formula/proof-general.rb index ca0d0daf6..6d8b66caa 100644 --- a/Library/Formula/proof-general.rb +++ b/Library/Formula/proof-general.rb @@ -57,13 +57,13 @@ class ProofGeneral < Formula man1.install "doc/proofgeneral.1" info.install "doc/ProofGeneral.info", "doc/PG-adapting.info" - doc.install "doc/ProofGeneral", "doc/PG-adapting" if build.include? 'with-doc' + doc.install "doc/ProofGeneral", "doc/PG-adapting" if build.with? "doc" end end def caveats doc = "" - if build.include? 'with-doc' + if build.with? "doc" doc += <<-EOS.undent HTML documentation is available in: #{HOMEBREW_PREFIX}/share/doc/proof-general |