[midPoint-git] [Evolveum/midpoint] 1168d8: POM: added "docs" profile on by default, use -P -d...

[virgo47]

  Branch: refs/heads/master
  Home:   https://github.com/Evolveum/midpoint
  Commit: 1168d88f3d56fc537876ec61fc79a0f9d1bf0dab
      https://github.com/Evolveum/midpoint/commit/1168d88f3d56fc537876ec61fc79a0f9d1bf0dab
  Author: Richard Richter <richard.richter at evolveum.com>
  Date:   2021-10-15 (Fri, 15 Oct 2021)

  Changed paths:
    M dist/pom.xml
    M pom.xml

  Log Message:
  -----------
  POM: added "docs" profile on by default, use -P -docs to build dist fast