From 786c936f52e030b156d4a58ad189cbcc4dd4a3e3 Mon Sep 17 00:00:00 2001 From: commitay Date: Mon, 22 Oct 2018 11:20:14 +1000 Subject: [PATCH] erlang@19: remove without-docs option --- Formula/erlang@19.rb | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/Formula/erlang@19.rb b/Formula/erlang@19.rb index 78ffbb7ffd..e1bf965675 100644 --- a/Formula/erlang@19.rb +++ b/Formula/erlang@19.rb @@ -18,10 +18,8 @@ class ErlangAT19 < Formula option "with-native-libs", "Enable native library compilation" option "with-dirty-schedulers", "Enable experimental dirty schedulers" option "with-java", "Build jinterface application" - option "without-docs", "Do not install documentation" deprecated_option "disable-hipe" => "without-hipe" - deprecated_option "no-docs" => "without-docs" depends_on "autoconf" => :build depends_on "automake" => :build @@ -107,10 +105,8 @@ class ErlangAT19 < Formula system "make" system "make", "install" - if build.with? "docs" - (lib/"erlang").install resource("man").files("man") - doc.install resource("html") - end + (lib/"erlang").install resource("man").files("man") + doc.install resource("html") end def caveats; <<~EOS