/usr/share/help/C/gnome-help/tips.page

This file is indexed.

/usr/share/help/C/gnome-help/tips.page is in gnome-user-docs 3.28.1-0ubuntu1.

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

The actual contents of the file can be viewed below.

<page xmlns="http://projectmallard.org/1.0/"
      type="guide" style="tip"
      id="tips">
  <info>
    <link type="guide" xref="index" group="tips"/>

    <credit type="author">
      <name>Shaun McCance</name>
      <email>shaunm@gnome.org</email>
    </credit>

    <desc><link xref="tips-specialchars">Special characters</link>, <link xref="mouse-middleclick">middle click shortcuts</link>…</desc>
    <include href="legal.xml" xmlns="http://www.w3.org/2001/XInclude"/>
  </info>

  <title>Tips &amp; tricks</title>
</page>

gnome-user-docs 3.28.1-0ubuntu1 / usr / share / help / C / gnome-help / tips.page