author | wenzelm |
Tue, 24 Aug 1999 23:28:02 +0200 | |
changeset 7337 | 3f8eeb0b6d75 |
parent 7336 | ff05ab18ac5a |
child 7338 | b275ae194e5a |
Admin/makerpm | file | annotate | diff | comparison | revisions |
1.1 --- a/Admin/makerpm Tue Aug 24 15:41:19 1999 +0200 1.2 +++ b/Admin/makerpm Tue Aug 24 23:28:02 1999 +0200 1.3 @@ -200,6 +200,9 @@ 1.4 $ISABELLE_HOME/heaps/${COMPILER}/ZF 1.5 1.6 %files 1.7 +%dir $ISABELLE_HOME 1.8 +%dir $ISABELLE_HOME/heaps 1.9 +%dir $ISABELLE_HOME/heaps/${COMPILER} 1.10 EOF 1.11 1.12 for F in $(ls -1 | grep -v heaps | grep -v browser_info)