diff options
-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 $@ |