Switch to unified view

a/src/doc/user/usermanual.xml b/src/doc/user/usermanual.xml
...
...
995
      necessary to set the <literal>webdownloadsdir</literal> value in the
995
      necessary to set the <literal>webdownloadsdir</literal> value in the
996
      configuration if it was changed from the default
996
      configuration if it was changed from the default
997
      <filename>$HOME/Downloads</filename> in the browser
997
      <filename>$HOME/Downloads</filename> in the browser
998
      preferences.</para></note>
998
      preferences.</para></note>
999
      
999
      
1000
      <para>The visited WEB pages indexing feature can be enabled in the
1000
      <para>The visited WEB pages indexing feature can be enabled on the
1001
      GUI <guilabel>Index configuration</guilabel> panel, or by editing the
1001
      &RCL; side from the GUI <guilabel>Index configuration</guilabel>
1002
      configuration file (set <varname>processwebqueue</varname> to
1002
      panel, or by editing the configuration file (set
1003
      1).</para> 
1003
      <varname>processwebqueue</varname> to 1).</para>
1004
1004
1005
      <para>A current pointer to the extension can be found, along with
1005
      <para>A current pointer to the extension can be found, along with
1006
      up-to-date instructions, on the
1006
      up-to-date instructions, on the
1007
      <ulink url="&FAQS;IndexWebHistory">Recoll wiki</ulink>.</para>
1007
      <ulink url="&FAQS;IndexWebHistory">Recoll wiki</ulink>.</para>
1008
1008