Document: spot
Title: Spot documentation
Author: Alexandre Duret-Lutz et al.
Abstract: User documentation for Spot
Section: Science/Mathematics

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

Format: PDF
Files: /usr/share/doc/spot/tl/tl.pdf
