diff options
| -rwxr-xr-x | makediff.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/makediff.sh b/makediff.sh index 1960dbd..b3a3624 100755 --- a/makediff.sh +++ b/makediff.sh @@ -1,3 +1,8 @@ +#force revision and date in environment +#this way they don't appear in the diff +export SPECDOC=${SPECDOC:-`cat REVISION`} +export DATESTR=${DATESTR:-`cat REVISION-DATE`} + #make pdf diff using latexpand and latexdiff-fast #preamble in diffpreamble.tex #in diff, links are coloured green instead of blue |