2003-01-19 14:55:28 +01:00
|
|
|
bin/its
|
|
|
|
|
bin/its-user-install
|
|
|
|
|
%%PORTDOCS%%share/doc/klh10-ks-its/MIT-ITS-papers
|
|
|
|
|
%%PORTDOCS%%share/doc/klh10-ks-its/README.FIRST
|
2003-08-19 17:47:09 +02:00
|
|
|
@comment There's some hiccups if we try to specify an absolute
|
|
|
|
|
@comment filename here, so we cd first.
|
|
|
|
|
@cwd /
|
|
|
|
|
%%IMAGE_HOME%%/PI-ITS-RP06.0-dbd9.bz2
|
|
|
|
|
%%IMAGE_HOME%%/klh10-kn-freebsd.ini.in
|
|
|
|
|
@comment We specify to delete %%IMAGE_HOME%%. In most cases, it's the
|
|
|
|
|
@comment same as the klh10 port is using, so it won't be empty (and thus
|
|
|
|
|
@comment not deleted). This dirrm command is for the exceptions to that.
|
2006-01-22 02:55:36 +01:00
|
|
|
@dirrmtry %%IMAGE_HOME%%
|
