%%DOCSDIR%%/html/arm95.html
%%DOCSDIR%%/html/assembly.gif
%%DOCSDIR%%/html/breakpoints.gif
%%DOCSDIR%%/html/canvas.gif
%%DOCSDIR%%/html/colors.gif
%%DOCSDIR%%/html/explorer.gif
%%DOCSDIR%%/html/gcc.html
%%DOCSDIR%%/html/gdb.html
%%DOCSDIR%%/html/gnat_rm.html
%%DOCSDIR%%/html/gnat_ug.html
%%DOCSDIR%%/html/gvd.html
%%DOCSDIR%%/html/main-window.gif
%%DOCSDIR%%/html/memory-view.gif
%%DOCSDIR%%/html/process.gif
%%DOCSDIR%%/html/tasks.gif
%%DOCSDIR%%/html/tooltips.gif
@dirrm %%DOCSDIR%%/html
@dirrm %%DOCSDIR%%
