To *edit* webpages:

- edit files in the src directory.

To *build* webpages:

$ make (this will generate html files)

To *publish* webpages:

$ make sync  (to copy html files to doc directory)
$ make clean (to remove temporary files
$ cd .. (change to doc directory)
$ git add . ; git commit -m <message> (add/commit changes)
$ git push 

NOTES: Currently, 

- updating of _static inhibited
- timestamping of files shut off in conf.py