diff options
Diffstat (limited to 'docs/manual/platform/index.xml')
| -rw-r--r-- | docs/manual/platform/index.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/manual/platform/index.xml b/docs/manual/platform/index.xml index 9a69c00793..5c797ce1ca 100644 --- a/docs/manual/platform/index.xml +++ b/docs/manual/platform/index.xml @@ -2,7 +2,7 @@ <!DOCTYPE manualpage SYSTEM "../style/manualpage.dtd"> <?xml-stylesheet type="text/xsl" href="../style/manual.en.xsl"?> -<manualpage> +<manualpage metafile="index.xml.meta"> <relativepath href=".." /> <parentdocument href="../"/> @@ -68,4 +68,4 @@ </section> -</manualpage>
\ No newline at end of file +</manualpage> |