diff options
Diffstat (limited to 'appendixa/procinfo.xml')
| -rw-r--r-- | appendixa/procinfo.xml | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/appendixa/procinfo.xml b/appendixa/procinfo.xml deleted file mode 100644 index 6ae3cb78c..000000000 --- a/appendixa/procinfo.xml +++ /dev/null @@ -1,13 +0,0 @@ -<sect1 id="aa-procinfo" xreflabel="Procinfo"> -<title>Procinfo</title> -<?dbhtml filename="procinfo.html" dir="appendixa"?> - -<para>For installation instructions see <xref linkend="ch06-procinfo"/>.</para> - -&aa-procinfo-down; -&aa-procinfo-shortdesc; -&aa-procinfo-desc; -&aa-procinfo-dep; - -</sect1> - |