1 files changed, 28 insertions, 0 deletions
diff --git a/lang/gnat-doc-html/pkg-plist_info b/lang/gnat-doc-html/pkg-plist_info
index f962eb00015c..39430fb8919d 100644
--- a/lang/gnat-doc-html/pkg-plist_info
+++ b/lang/gnat-doc-html/pkg-plist_info
@@ -49,7 +49,21 @@ info/gcc.info-11
 info/gcc.info-12
 info/gcc.info-13
 info/gcc.info-14
+info/gcc.info-15
+info/gcc.info-16
+info/gcc.info-17
+info/gcc.info-18
+info/gcc.info-19
 info/gcc.info-2
+info/gcc.info-20
+info/gcc.info-21
+info/gcc.info-22
+info/gcc.info-23
+info/gcc.info-24
+info/gcc.info-25
+info/gcc.info-26
+info/gcc.info-27
+info/gcc.info-28
 info/gcc.info-3
 info/gcc.info-4
 info/gcc.info-5
@@ -59,6 +73,11 @@ info/gcc.info-8
 info/gcc.info-9
 info/gdb.info
 info/gdb.info-1
+info/gdb.info-10
+info/gdb.info-11
+info/gdb.info-12
+info/gdb.info-13
+info/gdb.info-14
 info/gdb.info-2
 info/gdb.info-3
 info/gdb.info-4
@@ -69,6 +88,8 @@ info/gdb.info-8
 info/gdb.info-9
 info/gnat_rm.info
 info/gnat_rm.info-1
+info/gnat_rm.info-10
+info/gnat_rm.info-11
 info/gnat_rm.info-2
 info/gnat_rm.info-3
 info/gnat_rm.info-4
@@ -79,6 +100,13 @@ info/gnat_rm.info-8
 info/gnat_rm.info-9
 info/gnat_ug.info
 info/gnat_ug.info-1
+info/gnat_ug.info-10
+info/gnat_ug.info-11
+info/gnat_ug.info-12
+info/gnat_ug.info-13
+info/gnat_ug.info-14
+info/gnat_ug.info-15
+info/gnat_ug.info-16
 info/gnat_ug.info-2
 info/gnat_ug.info-3
 info/gnat_ug.info-4