Switch to unified view

a/src/doc/user/usermanual.html b/src/doc/user/usermanual.html
...
...
18
alink="#0000FF">
18
alink="#0000FF">
19
  <div lang="en" class="book">
19
  <div lang="en" class="book">
20
    <div class="titlepage">
20
    <div class="titlepage">
21
      <div>
21
      <div>
22
        <div>
22
        <div>
23
          <h1 class="title"><a name="idp57237872" id=
23
          <h1 class="title"><a name="idp32434768" id=
24
          "idp57237872"></a>Recoll user manual</h1>
24
          "idp32434768"></a>Recoll user manual</h1>
25
        </div>
25
        </div>
26
26
27
        <div>
27
        <div>
28
          <div class="author">
28
          <div class="author">
29
            <h3 class="author"><span class=
29
            <h3 class="author"><span class=
...
...
107
                <dt><span class="sect2">2.1.2. <a href=
107
                <dt><span class="sect2">2.1.2. <a href=
108
                "#RCL.INDEXING.INTRODUCTION.CONFIG">Configurations,
108
                "#RCL.INDEXING.INTRODUCTION.CONFIG">Configurations,
109
                multiple indexes</a></span></dt>
109
                multiple indexes</a></span></dt>
110
110
111
                <dt><span class="sect2">2.1.3. <a href=
111
                <dt><span class="sect2">2.1.3. <a href=
112
                "#idp63233312">Document types</a></span></dt>
112
                "#idp38000656">Document types</a></span></dt>
113
113
114
                <dt><span class="sect2">2.1.4. <a href=
114
                <dt><span class="sect2">2.1.4. <a href=
115
                "#idp63252992">Indexing failures</a></span></dt>
115
                "#idp38020336">Indexing failures</a></span></dt>
116
116
117
                <dt><span class="sect2">2.1.5. <a href=
117
                <dt><span class="sect2">2.1.5. <a href=
118
                "#idp63260448">Recovery</a></span></dt>
118
                "#idp38027792">Recovery</a></span></dt>
119
              </dl>
119
              </dl>
120
            </dd>
120
            </dd>
121
121
122
            <dt><span class="sect1">2.2. <a href=
122
            <dt><span class="sect1">2.2. <a href=
123
            "#RCL.INDEXING.STORAGE">Index storage</a></span></dt>
123
            "#RCL.INDEXING.STORAGE">Index storage</a></span></dt>
...
...
979
979
980
        <div class="sect2">
980
        <div class="sect2">
981
          <div class="titlepage">
981
          <div class="titlepage">
982
            <div>
982
            <div>
983
              <div>
983
              <div>
984
                <h3 class="title"><a name="idp63233312" id=
984
                <h3 class="title"><a name="idp38000656" id=
985
                "idp63233312"></a>2.1.3.&nbsp;Document types</h3>
985
                "idp38000656"></a>2.1.3.&nbsp;Document types</h3>
986
              </div>
986
              </div>
987
            </div>
987
            </div>
988
          </div>
988
          </div>
989
989
990
          <p><span class="application">Recoll</span> knows about
990
          <p><span class="application">Recoll</span> knows about
...
...
1073
1073
1074
        <div class="sect2">
1074
        <div class="sect2">
1075
          <div class="titlepage">
1075
          <div class="titlepage">
1076
            <div>
1076
            <div>
1077
              <div>
1077
              <div>
1078
                <h3 class="title"><a name="idp63252992" id=
1078
                <h3 class="title"><a name="idp38020336" id=
1079
                "idp63252992"></a>2.1.4.&nbsp;Indexing
1079
                "idp38020336"></a>2.1.4.&nbsp;Indexing
1080
                failures</h3>
1080
                failures</h3>
1081
              </div>
1081
              </div>
1082
            </div>
1082
            </div>
1083
          </div>
1083
          </div>
1084
1084
...
...
1114
1114
1115
        <div class="sect2">
1115
        <div class="sect2">
1116
          <div class="titlepage">
1116
          <div class="titlepage">
1117
            <div>
1117
            <div>
1118
              <div>
1118
              <div>
1119
                <h3 class="title"><a name="idp63260448" id=
1119
                <h3 class="title"><a name="idp38027792" id=
1120
                "idp63260448"></a>2.1.5.&nbsp;Recovery</h3>
1120
                "idp38027792"></a>2.1.5.&nbsp;Recovery</h3>
1121
              </div>
1121
              </div>
1122
            </div>
1122
            </div>
1123
          </div>
1123
          </div>
1124
1124
1125
          <p>In the rare case where the index becomes corrupted
1125
          <p>In the rare case where the index becomes corrupted
...
...
6767
                    work.</dd>
6767
                    work.</dd>
6768
                  </dl>
6768
                  </dl>
6769
                </div>
6769
                </div>
6770
6770
6771
                <div class="variablelist">
6771
                <div class="variablelist">
6772
                  <p class="title"><b>Data descriptors</b></p>
6773
6774
                  <dl class="variablelist">
6772
                  <dl class="variablelist">
6775
                    <dt><span class=
6773
                    <dt><span class=
6776
                    "term">Query.arraysize</span></dt>
6774
                    "term">Query.arraysize</span></dt>
6777
6775
6778
                    <dd>Default number of records processed by
6776
                    <dd>Default number of records processed by