This file is indexed.

/usr/share/bibledit-gtk/site/gtk/reference/menu/menu-preferences/text-replacement.html is in bibledit-gtk-data 4.9-1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
    "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <link href="../../../../bibledit.css" rel="stylesheet" type="text/css" /><!-- 

Copyright (©) 2003-2011 Teus Benschop and Contributors to the Wiki.

Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.3
or any later version published by the Free Software Foundation;
with no Invariant Sections, no Front-Cover Texts, and no Back-Cover
Texts.  A copy of the license is included in the section entitled "GNU
Free Documentation License" in the file FDL.

-->
    <title></title>
  </head>
  <body>
    <div id="menu">
      <ul>
        <li>
          <a href="../../../../home.html">1 Bibledit</a>
        </li>
        <li>
          <a href="../menu-preferences.html">Menu-preferences</a>
        </li>
        <li style="list-style: none; display: inline">
          <hr />
        </li>
        <li>
          <a href="filters.html">Filters</a>
        </li>
        <li>
          <a href="planning-setup.html">Planning</a>
        </li>
        <li>
          <a href="project-notes.html">Project notes</a>
        </li>
        <li>
          <a href="dialog-remote-repository.html">Remote Repository</a>
        </li>
        <li>Text replacement
        </li>
        <li>
          <a href="tidy-text.html">Tidy Text</a>
        </li>
        <li>
          <a href="user-interface.html">User interface</a>
        </li>
        <li>
          <a href="windows-outpost.html">Windows Outpost</a>
        </li>
      </ul>
    </div>
    <div id="content">
      <h1>
        Text replacement
      </h1>
      <p>
        The dialog for automatic text replacement is accessible through menu Preferences / Text replacement.
      </p>
      <p>
        Bibledit can replace certain text with other text for printing and export. For example, whenever the text &lt;&lt; occurs, it can be replaced with an opening quotation mark. And &gt;&gt; can be replaced with a closing quotation mark.
      </p>
      <p>
        These texts, and their replacements, can be set through the dialog.
      </p>
      <p>
        First thing to do is to enable this feature in the dialog.
      </p>
      <p>
        Next thing is to enter all texts and their replacements. To set a text, click once on the text where it says "Set new text (or replacement) here", then click once again, type the new text, and press Enter.
      </p>
      <p>
        To remove a text and its replacement, just erase it.
      </p>
      <p>
        Press Ok to save the values.
      </p>
      <p>
        Note. When exporting to USFM, no replacement is done.
      </p>
    </div>
  </body>
</html>