call make pdf only once from travis

'make pdf' is now executed twice in makefile a06e325cf2
This commit is contained in:
dessant 2016-02-25 01:16:06 +02:00
parent 80fadb1b3f
commit 218c704121
1 changed files with 0 additions and 1 deletions

View File

@ -116,7 +116,6 @@ script:
fi;
if [ "${RUN}" == "docs" ]; then
make html;
make pdf || true;
make pdf;
fi;
fi;