Improve web page build process
commite042d5bc7ee104be4004d2f7a5f253ef814314ba
authorBert Burgemeister <trebbu@googlemail.com>
Sun, 19 Jun 2016 12:36:26 +0000 (19 14:36 +0200)
committerBert Burgemeister <trebbu@googlemail.com>
Sun, 19 Jun 2016 12:36:26 +0000 (19 14:36 +0200)
tree853d6e61fdf4a4745075c06c68551f4796c4044d
parent6d60e112dfd09c5674413efb899d09d0a2244fc2
Improve web page build process

  - Clean up dependencies in Makefile.
  - Introduce a table of contents.
  - Automatically check for dead links.
  - Various minor edits.
14 files changed:
.gitignore
Makefile
widget-examples/colorbutton.ui
widget-examples/drawingarea.txt
widget-examples/eventbox.ui
widget-examples/label.ui
widget-examples/plug.ui
widget-examples/socket.ui
widget-examples/spinner.ui
widget-examples/statusbar.ui
www-template/a-hrefs.xsl [new file with mode: 0644]
www-template/index-toc.xsl [new file with mode: 0644]
www-template/index.html
www-template/style.css