Peter Bex 8b0b9fce07 Install all files, not just some random selection the Makefile happened ... to like ;) (needed for hol-light to work properly)		2004-03-17 22:29:45 +00:00
..
patch-aa	Install all files, not just some random selection the Makefile happened	2004-03-17 22:29:45 +00:00