Remove pdf-docs branch from CircleCI config docs build special cases

Author: msimberg

.circleci/config.yml

@@ -108,7 +108,6 @@ jobs:
             if [ -z "$CIRCLE_PR_NUMBER" ] && \
                 ( [ "$CIRCLE_BRANCH" == "master" ] || \
                   [ "$CIRCLE_BRANCH" == "release" ] || \
-                  [ "$CIRCLE_BRANCH" == "pdf-docs" ] || \
                   [ -n "$CIRCLE_TAG" ] ); then
                 DOCUMENTATION_OUTPUT_FORMATS="html;singlehtml;latexpdf"
             else