|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
gnome-doc-tools
gnome-doc-tools | Tools, stylesheets and DTDs for GNOME. | Priority | |
Section | gnome |
Installed size | 100 |
Maintainer | Jules Bean <jules@debian.org> |
Architecture | all |
Version | 1.0-6.1 |
Depends | docbook-dsssl |
Suggests | libgnome-dev, doc-base |
File name | pool/main/g/gnome-doc-tools/gnome-doc-tools_1.0-6.1_all.deb |
Description | This package provides tools, stylesheets and DTDs for use by the GNOME Documentation Project. |
|
|