diff options
author | rsiddharth <s@ricketyspace.net> | 2016-07-11 23:09:17 +0000 |
---|---|---|
committer | rsiddharth <s@ricketyspace.net> | 2016-07-11 23:09:17 +0000 |
commit | c22411f6f2386d78ff9488d546eb128f6e397803 (patch) | |
tree | 735eab69e6e2196b22f87d490db920663147f911 /Makefile | |
parent | cf04ab5cf48bfa4088385ecd2a8fca0c58920658 (diff) |
fix script generation.
* Makefile ($(git_difme)): generate the script magic line using three
echos.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -44,7 +44,9 @@ docs-clean: $(git_difme): $(git_difme_src) @mkdir -p $(bin) @touch $@ - @echo "#!"$(guile)" \\ \n-e main -s\n!#" > $@ + @echo "#!"$(guile)" \\" > $@ + @echo "-e main -s" >> $@ + @echo "!#" >> $@ @cat $< >> $@ @chmod +x $@ |