diff options
Diffstat (limited to 'doc')
| -rwxr-xr-x | doc/gen-man.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/gen-man.sh b/doc/gen-man.sh index 8391c73..4463c5a 100755 --- a/doc/gen-man.sh +++ b/doc/gen-man.sh @@ -46,7 +46,7 @@ cp "$man_head" "$man_output" # Insert last modified date (use last-modified date of help.gemini) last_modified=$(date -r "$gemtext_in" +"%F") -sed -i "$man_output" -e 's#\$(DATE)#'"$last_modified"'#g' +sed -i'.bak' -e 's#\$(DATE)#'"$last_modified"'#g' "$man_output" # Some pre-processing before giving our gemtext to the awk script. gem_in=$( |