File	Date	Author	Commit
images	2011-02-02	Alexander Voigt	[19c832] put the images for the manual into manual/
manual	2011-03-02	Alexander Voigt	[7b8b75] extend the section about the submission of the ...
.gitignore	2011-03-17	Alexander Voigt	[b96821] add .gitignore
.htaccess	2011-01-22	Alexander Voigt	[23a3f6] initial commit
Makefile	2011-02-04	Alexander Voigt	[e049da] correct typos
README	2011-01-22	Alexander Voigt	[23a3f6] initial commit
documentation.xml	2011-02-12	Alexander Voigt	[20ed4c] make PDF manual available for download
download.xml	2012-08-04	Alexander Voigt	[c1b2d5] add link to version 1.9
index.xml	2012-11-17	Alexander Voigt	[5cd3e4] put global headline into index page
license.xml	2012-08-04	Alexander Voigt	[62416d] add current release year
menu.dtd	2011-01-22	Alexander Voigt	[23a3f6] initial commit
menu.xml	2011-03-17	Alexander Voigt	[120325] add support page which contains a link to the m...
style.css	2012-11-17	Alexander Voigt	[735844] use wikipedia color scheme
stylesheet-xhtml.xsl	2012-11-17	Alexander Voigt	[5cd3e4] put global headline into index page
support.xml	2011-03-17	Alexander Voigt	[4f6fc9] correct the filename in the <data> tag

Read Me

How to build the site
=====================

Every XHTML file is generated from the corresponding XML file, which
has the same file name but .xml as file name ending instead of .xhtml.
To update/ create the XHTML files run

  $ make


Version control with bazaar
===========================

See also the manual: http://bazaar-vcs.org/BazaarForWebDevs


Push changes from home computer to server
-----------------------------------------

After you did some changes to the XML files, you have to build the
site and commit the changes:

  $ make          # create the XHTML files
  $ bzr ci        # check in into local repository

To push the latest commits to the server do

  $ bzr push [host]


Merge changes from server into local repo
-----------------------------------------

If changes were made on the files at the server, you can merge these
by doing

  $ bzr merge [host]


Working on the server
---------------------

If one wants to make changes directly on the server, one has to update
the working copy, then make the changes, build the XHTML files and
commit the changes into the server's repository:

  $ bzr up    # update the working copy and merge the changes
  # change files ...
  $ make      # create the XHTML files
  $ bzr ci    # commit changes into repository