# While the arb-doc package in fact contains documentation
# that can be read by itself it is a basic component of the
# help system binary programm arb and needs to be installed
# in any case if arb should be running.  So the decision
# to move arb-doc not into the doc section was done intentionally
arb-doc: doc-package-should-be-section-doc arb-doc
