From 9bb098a72d79e451f0171003a615a10fc71d212c Mon Sep 17 00:00:00 2001 From: Branden Archer Date: Thu, 24 Dec 2015 18:46:14 -0500 Subject: [PATCH] Add information about updating generated documentation for website --- HACKING | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/HACKING b/HACKING index d2a1f22..ddbccfa 100644 --- a/HACKING +++ b/HACKING @@ -115,6 +115,28 @@ the gh-pages branch in the Check git repository. To update the website, merge the contents of the master branch into the gh-pages branch. +To update the generated documentation for the website: + +$ git remote -v +github https://github.com/libcheck/check.git (fetch) +github https://github.com/libcheck/check.git (push) +$ git fetch github +$ git checkout github/gh-pages -b gh-pages +Branch gh-pages set up to track remote branch gh-pages from github. +Switched to a new branch 'gh-pages' +$ git rebase github/master +First, rewinding head to replay your work on top of it... +Fast-forwarded gh-pages to github/master. +$ autoreconf -i +$ ./configure +$ make clean +$ make +$ make doc/check_html +$ make doc/doxygen +$ git add doc +$ git commit -m “Update documentation” +$ git push github gh-pages:gh-pages + Automatic building of pull requests =============== -- 2.50.1