docs/dev-manual/releng/jenkins-howto.rst

   1 .. This file is a placeholder that is used in case RELENG_PATH does not
   2    identify the location of the releng repository.
   3
   4 .. _jenkins-howto:
   5
   6 jenkins howto (missing)
   7 ===========================
   8
   9 This documentation was built without releng documentation.
  10 If you want to see this documentation, set ``RELENG_PATH`` CMake variable to
  11 point to the root of a checkout from the releng repository.