1 --- DevIL/DevIL/docs/DevIL_manual.texi.orig 2017-01-02 01:03:56.000000000 +0100
2 +++ DevIL/DevIL/docs/DevIL_manual.texi 2017-05-13 18:12:42.425455619 +0200
4 A copy of the license is included in the section entitled ``GNU Free Documentation License''.
7 +@dircategory Libraries:
9 +* DevIL: (DevIL_manual). Developer's Image Library
13 @title Developer's Image Library manual