Drop building internal docs

They are causing the Jenkins release job to fail and no one really cares
about those

Change-Id: I6c4bd7923dd85772c6fd678fafb172b875e27b8a
diff --git a/tools/dev/bash_profile b/tools/dev/bash_profile
index 970158e..6294b66 100644
--- a/tools/dev/bash_profile
+++ b/tools/dev/bash_profile
@@ -51,7 +51,7 @@
 alias op="SHLVL=1 bazel build //:onos"
 alias ot="bazel run //:buildifier_check && bazel query 'tests(//...)' | grep -v "coverage" | SHLVL=1 xargs bazel test --test_summary=terse --test_output=errors"
 alias ob="op && ot"
-alias obd="SHLVL=1 bazel build //docs:external //docs:internal"
+alias obd="SHLVL=1 bazel build //docs:external"
 
 alias ok="SHLVL=1 bazel run //:onos-local --"
 alias oh="onos localhost halt"