diff -r a48bf0d3a790 -r 55e2f7712e87 license.dox --- a/license.dox Tue Oct 28 18:54:30 2008 +0100 +++ b/license.dox Thu Oct 30 17:13:33 2008 +0000 @@ -18,8 +18,9 @@ /** -\page license License Terms +[PAGE]license[PAGE] License Terms \verbinclude ./LICENSE +[TRAILER] */