Document: felix-tools
Title: Debian Felix Tools summary
Author: John Skaller
Abstract: An tutorial on Felix language and toolkit.
Section: main
Format: HTML
Index: /usr/share/doc/felix/htmlman/felix_1.html
Files: /usr/share/doc/felix/htmlman/*.html

