diff --git a/doc/FAQ.html b/doc/FAQ.html index 9dd53cbf..e756d58a 100644 --- a/doc/FAQ.html +++ b/doc/FAQ.html @@ -665,7 +665,7 @@ Also note the following hints: