From 4237a0be76c4700a84c61b71fed0571a0368dd2b Mon Sep 17 00:00:00 2001 From: Chris Mayo Date: Thu, 14 Jan 2021 19:48:22 +0000 Subject: [PATCH] Update documentation of gh-pages branch --- doc/documentation.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/doc/documentation.md b/doc/documentation.md index 708cf227..d2dacb22 100644 --- a/doc/documentation.md +++ b/doc/documentation.md @@ -56,9 +56,10 @@ The files are saved in doc/html. Publishing the Web Site ----------------------- -The Web Site is hosted by GitHub Pages from the docs/ directory of the gh-pages branch. +The Web Site is hosted by GitHub Pages from the gh-pages branch. -/docs is a fixed GitHub pages location and contains ``.nojekyll``. +A ``.nojekyll`` file is present to ensure folders beginning with an underscore +are published. When updates to LinkChecker are pushed, the web site is built and published automatically by a GitHub action ``.github/workflows/publish-pages.yml``.