1 files changed, 91 insertions, 0 deletions
diff --git a/lang/gnat-doc-html/pkg-plist_info b/lang/gnat-doc-html/pkg-plist_info
new file mode 100644
index 000000000000..d0ec269e684e
--- /dev/null
+++ b/lang/gnat-doc-html/pkg-plist_info
@@ -0,0 +1,91 @@
+info/arm95.info
+info/arm95.info-1
+info/arm95.info-10
+info/arm95.info-11
+info/arm95.info-12
+info/arm95.info-13
+info/arm95.info-14
+info/arm95.info-15
+info/arm95.info-16
+info/arm95.info-17
+info/arm95.info-18
+info/arm95.info-19
+info/arm95.info-2
+info/arm95.info-20
+info/arm95.info-21
+info/arm95.info-22
+info/arm95.info-23
+info/arm95.info-24
+info/arm95.info-25
+info/arm95.info-26
+info/dir
+info/arm95.info-27
+info/arm95.info-28
+info/arm95.info-29
+info/arm95.info-3
+info/arm95.info-30
+info/arm95.info-31
+info/arm95.info-32
+info/arm95.info-33
+info/arm95.info-34
+info/arm95.info-35
+info/arm95.info-36
+info/arm95.info-37
+info/arm95.info-38
+info/arm95.info-39
+info/arm95.info-4
+info/arm95.info-40
+info/arm95.info-41
+info/arm95.info-42
+info/arm95.info-43
+info/arm95.info-5
+info/arm95.info-6
+info/arm95.info-7
+info/arm95.info-8
+info/arm95.info-9
+info/gcc.info
+info/gcc.info-1
+info/gcc.info-10
+info/gcc.info-11
+info/gcc.info-12
+info/gcc.info-13
+info/gcc.info-14
+info/gcc.info-2
+info/gcc.info-3
+info/gcc.info-4
+info/gcc.info-5
+info/gcc.info-6
+info/gcc.info-7
+info/gcc.info-8
+info/gcc.info-9
+info/gdb.info
+info/gdb.info-1
+info/gdb.info-2
+info/gdb.info-3
+info/gdb.info-4
+info/gdb.info-5
+info/gdb.info-6
+info/gdb.info-7
+info/gdb.info-8
+info/gdb.info-9
+info/gdbtk.info
+info/gnat_rm.info
+info/gnat_rm.info-1
+info/gnat_rm.info-2
+info/gnat_rm.info-3
+info/gnat_rm.info-4
+info/gnat_rm.info-5
+info/gnat_rm.info-6
+info/gnat_rm.info-7
+info/gnat_rm.info-8
+info/gnat_rm.info-9
+info/gnat_ug.info
+info/gnat_ug.info-1
+info/gnat_ug.info-2
+info/gnat_ug.info-3
+info/gnat_ug.info-4
+info/gnat_ug.info-5
+info/gnat_ug.info-6
+info/gnat_ug.info-7
+info/gnat_ug.info-8
+info/gnat_ug.info-9