diff --git a/doc/FAQ.html b/doc/FAQ.html index 9c50fd65..c4aeae9f 100644 --- a/doc/FAQ.html +++ b/doc/FAQ.html @@ -624,10 +624,13 @@ Also note the following hints: