Skip to content

Commit 31645ce

Browse files
committed
fix
1 parent ed6dee4 commit 31645ce

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.travis.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -31,7 +31,7 @@ after_success:
3131
- export GIT_COMMITTER_EMAIL=$GIT_EMAIL
3232
- export GIT_AUTHOR_NAME=$GIT_NAME
3333
- export GIT_AUTHOR_EMAIL=$GIT_EMAIL
34-
- (cd doc/; pdftotext jmanual.pdf; mv jmanual.txt jmanual.txt.bak; make; pdftotext jmanual.pdf)
34+
- (cd doc/; pdftotext jmanual.pdf; mv jmanual.txt jmanual.txt.old; make; pdftotext jmanual.pdf)
3535
- (cd doc/; make html)
3636
- cd doc
3737
- if [ "$TRAVIS_BRANCH" == "master" ]; then diff jmanual.txt jmanual.txt.old || (git add -f *.pdf *.dvi; git commit -m "add documents for $TRAVIS_COMMIT"); fi

0 commit comments

Comments
 (0)