1
Index: doc/adacontrol_pm.info
2
===================================================================
3
--- doc/adacontrol_pm.info.orig
4
+++ doc/adacontrol_pm.info
6
This is adacontrol_pm.info, produced by makeinfo version 4.8 from
9
+INFO-DIR-SECTION GNU Ada tools
11
+* AdaControl Programmer's Manual: (adacontrol_pm). Writing new rules.
15
File: adacontrol_pm.info, Node: Top, Next: General, Prev: (dir), Up: (dir)
17
Index: doc/adacontrol_ug.info
18
===================================================================
19
--- doc/adacontrol_ug.info.orig
20
+++ doc/adacontrol_ug.info
22
This is adacontrol_ug.info, produced by makeinfo version 4.8 from
25
+INFO-DIR-SECTION GNU Ada tools
27
+* AdaControl User's Guide: (adacontrol_ug). Using AdaControl.
32
adacontrol_ug.info-1: 87