1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-30 01:15:52 +00:00
freebsd-ports/lang/gnat-doc-html/pkg-plist_ps
Mario Sergio Fujikawa Ferreira 362ea6101c o New port jgnat-doc-html version 1.1p: Documentation for the JGNAT
compiler
o Master port for all jgnat-doc-* ports

PR:		30365
Submitted by:	John Merryweather Cooper <jmcoopr@webmail.bmi.net>
2001-12-05 05:47:43 +00:00

10 lines
268 B
Plaintext

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