diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/compile-notes | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/compile-notes b/bin/compile-notes index efeca68..da9287c 100755 --- a/bin/compile-notes +++ b/bin/compile-notes @@ -40,7 +40,7 @@ done echo "# Bibliografia" >> $OUTPUT.md # Revision information -sed -i -e "s|%%revision%%|$REVISION|g" -e "s|%%date%%|$REVISION|g" $OUTPUT.md +sed -i -e "s|%%revision%%|$REVISION|g" -e "s|%%date%%|$DATE|g" $OUTPUT.md # Post-processing if [ -e "snippets/terminology.sed" ]; then |