diff options
Diffstat (limited to 'appendixa/procinfo.xml')
| -rw-r--r-- | appendixa/procinfo.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/appendixa/procinfo.xml b/appendixa/procinfo.xml index 74a89ad7c..352fdf97b 100644 --- a/appendixa/procinfo.xml +++ b/appendixa/procinfo.xml @@ -1,5 +1,6 @@ <sect1 id="aa-procinfo"> <title>Procinfo</title> +<?dbhtml filename="procinfo.html" dir="appendixa"?> &aa-procinfo-desc; |