gle-graphics-library for Debian ------------------------------ The files in this package used to included in gle-graphics (until 4.2.5). Some of these files are needed to build the PDF manual, which used to be part of gle-graphics, but is now shipped in a separate package. -- Christian T. Steigies Fri, 30 Dec 2022 14:34:09 +0100