diff --git a/doc/src/index.dox b/doc/src/index.dox index 87511d5..6772831 100644 --- a/doc/src/index.dox +++ b/doc/src/index.dox @@ -31,9 +31,9 @@ \li \subpage premise_and_principle -