Merge commit 'ht/doc-version'
commite5a515b7a0259fa42a621f5fda5e206f6778446a
authorHenrik Tidefelt <tidefelt@isy.liu.se>
Tue, 18 Aug 2009 20:10:42 +0000 (18 22:10 +0200)
committerHenrik Tidefelt <tidefelt@isy.liu.se>
Tue, 18 Aug 2009 20:10:51 +0000 (18 22:10 +0200)
tree159387ac2178a65454c92825a5e5bf5d794ae952
parentfbc82a20cfedce2fd65edb382b0dbb3ff27a3cf5
parent8cc9695090ac25f1329e9470dfa90d4c16309bec
Merge commit 'ht/doc-version'

* commit 'bambi/ht/doc-version':
  Doc: Infrastructure for header with version information.
  Doc: Instrumenting doc sources with SSI variable with version number.
  Doc bugifx: No font family was selected for normal text.
  Doc bugfix: Replacing a few '<p>' by '<div class="p">'.