/libraries/

• ../
• Makefile
• bin-package-db
• defineTOP.mk
• doc
• gen_contents_index
• hscolour.css
• libraries-footer.txt
• libraries-header.txt
• prologue.txt.in
• tarballs