diff options
Diffstat (limited to 'lang/gnat-doc-html/pkg-plist_ps')
| -rw-r--r-- | lang/gnat-doc-html/pkg-plist_ps | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/lang/gnat-doc-html/pkg-plist_ps b/lang/gnat-doc-html/pkg-plist_ps new file mode 100644 index 000000000000..3fbcb9f33690 --- /dev/null +++ b/lang/gnat-doc-html/pkg-plist_ps @@ -0,0 +1,9 @@ +share/doc/gnat/ps/arm95.ps +share/doc/gnat/ps/gcc.ps +share/doc/gnat/ps/gdb.ps +share/doc/gnat/ps/gdbtk.ps +share/doc/gnat/ps/gnat_rm.ps +share/doc/gnat/ps/gnat_ug.ps +share/doc/gnat/ps/refcard.ps +@dirrm share/doc/gnat/ps +@unexec rmdir %D/share/doc/gnat 2>/dev/null || true |