diff options
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -214,8 +214,8 @@ $(SOURCE_DIR)/%_usage.erl: $(DOCS_DIR)/usage.xsl $< > $@.tmp sed -e 's/"/\\"/g' -e 's/%QUOTE%/"/g' $@.tmp > $@.tmp2 fold -s $@.tmp2 > $@.tmp3 - cp $@.tmp3 $@ - rm $@.tmp $@.tmp2 $@.tmp3 + mv $@.tmp3 $@ + rm $@.tmp $@.tmp2 # We rename the file before xmlto sees it since xmlto will use the name of # the file to make internal links. |