Document: execline
Title: execline: a small scripting language
Abstract: This manual describes what execline is
 and how to use it.
Section: System/Administration

Format: HTML
Index: /usr/share/doc/execline/index.html
Files: /usr/share/doc/execline/*.html
