Remove/replace many mentions of Jenkins

[alexxy/gromacs.git] / docs / dev-manual / releng / jenkins-howto.rst

diff --git a/docs/dev-manual/releng/jenkins-howto.rst b/docs/dev-manual/releng/jenkins-howto.rst
deleted file mode 100644 (file)
index e32ba1c..0000000
--- a/docs/dev-manual/releng/jenkins-howto.rst
+++ /dev/null
@@ -1,11 +0,0 @@
-.. This file is a placeholder that is used in case RELENG_PATH does not
-   identify the location of the releng repository.
-
-.. _jenkins-howto:
-
-jenkins howto (missing)
-===========================
-
-This documentation was built without releng documentation.
-If you want to see this documentation, set ``RELENG_PATH`` CMake variable to
-point to the root of a checkout from the releng repository.