diff options
Diffstat (limited to 'toxy/Makefile')
| -rw-r--r-- | toxy/Makefile | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/toxy/Makefile b/toxy/Makefile index 07cd407..3035cb4 100644 --- a/toxy/Makefile +++ b/toxy/Makefile @@ -8,13 +8,10 @@ checkwiq: rm -f $(WIQFILE) ; fi $(WIQFILE): $(WIDPATH) @echo transferring widget definitions from \"$<\" to \"$@\" - @cat $< | sed \ --e '1i\ -// Do not edit this file (edit \"$<\", and run \"make\").' \ --e '1i\ -//' \ --e '1i\ -\"puts stderr [concat loading built-in widget definitions]\\n\"' \ + @echo -e '// Do not edit this file (edit "$<", and run "make").\ +\n//\nputs stderr [concat loading built-in widget definitions]' \ + | cat - $< | sed \ +-e '1,\|//$$|{p;d;}' \ -e 's/\([\\\"]\)/\\\1/g' \ -e 's/^.*$$/\"&\\n\"/' > $@ @if [ -f $(WIQFILE) ] && ! [ -s $(WIQFILE) ] ; then \ |