---- allegro-3.9.40/docs/allegro.texi~ Fri Nov 23 04:47:10 2001
-+++ allegro-3.9.40/docs/allegro.texi Fri Nov 23 04:47:10 2001
-@@ -7,7 +7,9 @@
-
- @ifinfo
- @direntry
--* Allegro: (allegro). The Allegro game programming library.
-+@dircategory Libraries:
-+@format
-+* Allegro: (allegro). The Allegro game programming library
- @end direntry
- This is the Info version of the Allegro manual
-
+--- allegro-4.1.12/docs/src/allegro._tx~ Fri Nov 23 07:03:08 2001
++++ allegro-4.1.12/docs/src/allegro._tx Fri Nov 23 07:03:08 2001
+@@ -24,8 +24,8 @@
+ @$
+ @$@ifinfo
+-@$@dircategory Libraries
++@$@dircategory Libraries:
+ @$@direntry
+-@$* Allegro: (allegro). The Allegro game programming library.
++@$* Allegro: (allegro). The Allegro game programming library
+ @$@end direntry
+ @$This is the Info version of the Allegro manual
+ @$