sci-mathematics/open-axiom: version bump to 1.4.2
sci-mathematics/open-axiom: Drop src_install in favour of default and use DOCS

Package-Manager: portage-2.2.7
Merge branch 'ustcscgy-openaxiom'

* ustcscgy-openaxiom:
  sci-mathematics/open-axiom: Drop src_install in favour of default and use DOCS
  sci-mathematics/open-axiom: version bump to 1.4.2