%%DOCSDIR%%/ps/arm95.ps
%%DOCSDIR%%/ps/gcc.ps
%%DOCSDIR%%/ps/gdb.ps
%%DOCSDIR%%/ps/gnat_rm.ps
%%DOCSDIR%%/ps/gnat_ug.ps
%%DOCSDIR%%/ps/gvd.ps
@dirrm %%DOCSDIR%%/ps
@dirrm %%DOCSDIR%%
