|
|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
|
gmanedit
| gmanedit | GTK+/GNOME Man pages editor | | Priority | |
| Section | gnome |
| Installed size | 244 |
| Maintainer | Sergio Rua <srua@debian.org> |
| Architecture | i386 |
| Version | 0.3.3-12.1 |
| Depends | gdk-imlib1, libart2 (>= 1.2.13-5), libaudiofile0 (>= 0.2.3-4), libc6 (>= 2.3.2.ds1-4), libdb3 (>= 3.2.9-19.1), libesd0 (>= 0.2.29-1) | libesd-alsa0 (>= 0.2.29-1), libglib1.2 (>= 1.2.0), libgnome32 (>= 1.2.13-5), libgnomesupport0 (>= 1.2.13-5), libgnomeui32 (>= 1.4.2-3), libgtk1.2 (>= 1.2.10-4), libice6 | xlibs (>> 4.1.0), libsm6 | xlibs (>> 4.1.0), libx11-6 | xlibs (>> 4.1.0), libxext6 | xlibs (>> 4.1.0), libxi6 | xlibs (>> 4.1.0), zlib1g (>= 1 |
| Suggests | gv, man2html, httpd |
| File name | pool/main/g/gmanedit/gmanedit_0.3.3-12.1_i386.deb |
| Description | GNOME Manpages Editor is an editor for man pages that runs on X with GTK. . It's like most common HTML editors but more easy. You need to know manpages format. You can learn it from 'man(7)'. |
|
|
|
Etude RTOS