Menu

Tree [9f8307] master /
 History

HTTPS access


File Date Author Commit
 images 2011-03-26 Alexander Voigt Alexander Voigt [f6b818] add images for external link on blue background
 .htaccess 2011-03-26 Alexander Voigt Alexander Voigt [1e9342] add .htaccess file which enables index.xhtml as...
 Makefile 2011-03-25 Alexander Voigt Alexander Voigt [fc9c82] more replacements tpps --> SPJS
 README 2011-03-25 Alexander Voigt Alexander Voigt [54d710] initial commit
 documentation.xml 2011-04-02 Alexander Voigt Alexander Voigt [3d0c46] update the links to the manual and the release
 download.xml 2012-08-04 Alexander Voigt Alexander Voigt [d55f2e] add download link to version 1.1
 index.xml 2011-05-17 Alexander Voigt Alexander Voigt [542d22] correct the project title: it is a skeleton and...
 license.xml 2012-08-04 Alexander Voigt Alexander Voigt [9f8307] add release date
 menu.dtd 2011-03-25 Alexander Voigt Alexander Voigt [54d710] initial commit
 menu.xml 2011-03-25 Alexander Voigt Alexander Voigt [54d710] initial commit
 style.css 2011-03-26 Alexander Voigt Alexander Voigt [767bb9] make highlighted link background blue
 stylesheet-xhtml.xsl 2011-05-17 Alexander Voigt Alexander Voigt [542d22] correct the project title: it is a skeleton and...
 support.xml 2011-03-25 Alexander Voigt Alexander Voigt [d2c42e] correct links to the sourceforge project pages

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
MongoDB Logo MongoDB
Gen AI apps are built with MongoDB Atlas
Atlas offers built-in vector search and global availability across 125+ regions. Start building AI apps faster, all in one place.