2001-12-05 00:47:43 -05:00
|
|
|
share/doc/gnat/html/arm95.html
|
2002-02-08 10:41:54 -05:00
|
|
|
share/doc/gnat/html/assembly.gif
|
|
|
|
|
share/doc/gnat/html/breakpoints.gif
|
|
|
|
|
share/doc/gnat/html/canvas.gif
|
|
|
|
|
share/doc/gnat/html/colors.gif
|
|
|
|
|
share/doc/gnat/html/explorer.gif
|
2001-12-05 00:47:43 -05:00
|
|
|
share/doc/gnat/html/gcc.html
|
|
|
|
|
share/doc/gnat/html/gdb.html
|
|
|
|
|
share/doc/gnat/html/gnat_rm.html
|
|
|
|
|
share/doc/gnat/html/gnat_ug.html
|
2002-02-08 10:41:54 -05:00
|
|
|
share/doc/gnat/html/gvd.html
|
|
|
|
|
share/doc/gnat/html/main-window.gif
|
|
|
|
|
share/doc/gnat/html/memory-view.gif
|
|
|
|
|
share/doc/gnat/html/process.gif
|
|
|
|
|
share/doc/gnat/html/tasks.gif
|
|
|
|
|
share/doc/gnat/html/tooltips.gif
|
2001-12-05 00:47:43 -05:00
|
|
|
@dirrm share/doc/gnat/html
|
|
|
|
|
@unexec rmdir %D/share/doc/gnat 2>/dev/null || true
|
