diff --git a/main/config/man-advanced-preferences.en.tm b/main/config/man-advanced-preferences.en.tm index 9cc3ad4..4b8d33d 100644 --- a/main/config/man-advanced-preferences.en.tm +++ b/main/config/man-advanced-preferences.en.tm @@ -1,4 +1,4 @@ - + @@ -8,7 +8,7 @@ In addition to the , where most of the important customization may be made, there are some other user preferences available. These are either too ``fine-grained'' to be added to - the main dialog or simply unsupported and therefore the are only made + the main dialog or simply unsupported and therefore they are only made accessible through the procedures and as explained in procedures for user preferences|../../devel/scheme/utils/utils-preferences.en.tm>. These are