nofont.sh
author viric <viriketo@gmail.com>
Fri, 30 Mar 2012 18:54:29 +0200
changeset 30 d30178b2a9e6
parent 5 c87681fff7d3
permissions -rwxr-xr-x
Making the makefile not depend on /usr.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
5
c87681fff7d3 Checks for repeated definitions.
viric@mandarina
parents:
diff changeset
     1
#!/bin/sh
c87681fff7d3 Checks for repeated definitions.
viric@mandarina
parents:
diff changeset
     2
c87681fff7d3 Checks for repeated definitions.
viric@mandarina
parents:
diff changeset
     3
./trim-nou8 | sed 's/<\/\?fon[^>]*>//g'