diff --git a/docs/ant15_todo.html b/docs/ant15_todo.html
index 9b086b11b..4a013b787 100644
--- a/docs/ant15_todo.html
+++ b/docs/ant15_todo.html
@@ -287,6 +287,31 @@
Erik
+
+
+
+ |
+
+ Extension utilities
+
+ |
+
+
+ Port across task that prints out details of extensions for
+ a certain library/jar, or all jars in a path. Port across task
+ that generates a manifest (including dependencies and extension
+ specification) based on a set of jars in path. Port across task
+ that checks that the list of pre-req extensions are present in
+ path.
+
+ |
+
+
+ Peter
+
|
diff --git a/xdocs/ant15_todo.xml b/xdocs/ant15_todo.xml
index 105eee65f..5e131d105 100644
--- a/xdocs/ant15_todo.xml
+++ b/xdocs/ant15_todo.xml
@@ -64,6 +64,17 @@
Erik |
+
+ | Extension utilities |
+ Port across task that prints out details of extensions for
+ a certain library/jar, or all jars in a path. Port across task
+ that generates a manifest (including dependencies and extension
+ specification) based on a set of jars in path. Port across task
+ that checks that the list of pre-req extensions are present in
+ path. |
+ Peter |
+
+