src/Tools/8bit/fonts/install
author wenzelm
Tue, 03 Aug 1999 18:56:51 +0200
changeset 7167 0b2e3ef1d8f4
parent 2852 ddb85eb8385f
permissions -rwxr-xr-x
tuned; much more material;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1826
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     1
#!/bin/bash
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     2
2852
ddb85eb8385f eliminated references to old 8bit fonts;
wenzelm
parents: 1826
diff changeset
     3
#NOTE: just a quick and dirty hack -- assumes correct isatool in PATH
1826
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     4
2852
ddb85eb8385f eliminated references to old 8bit fonts;
wenzelm
parents: 1826
diff changeset
     5
isatool installfonts