Document: org.www.minizinc.minizinc-ide
Title: Debian org.www.minizinc.minizinc-ide Manual
Author: <insert document author here>
Abstract: This manual describes what org.www.minizinc.minizinc-ide is
 and how it can be used to
 manage online manuals on Debian systems.
Section: unknown

Format: debiandoc-sgml
Files: /usr/share/doc/org.www.minizinc.minizinc-ide/org.www.minizinc.minizinc-ide.sgml.gz

Format: postscript
Files: /usr/share/doc/org.www.minizinc.minizinc-ide/org.www.minizinc.minizinc-ide.ps.gz

Format: text
Files: /usr/share/doc/org.www.minizinc.minizinc-ide/org.www.minizinc.minizinc-ide.text.gz

Format: HTML
Index: /usr/share/doc/org.www.minizinc.minizinc-ide/html/index.html
Files: /usr/share/doc/org.www.minizinc.minizinc-ide/html/*.html
