Document: mdk-doc
Title: GNU MIX Development Kit (mdk)
Abstract: Documentation for the MIX Development Kit
Section: Emulators

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

Format: Info
Index: /usr/share/info/mdk.info.gz
Files: /usr/share/info/mdk.info.gz
