Update Jenkinsfile

Jenkinsfile

@@ -55,15 +55,15 @@ stage("Build and Publish") {
       ./static/build_html.sh
       """
 
-//       sh label:"Build PDF", script:"""set -ex
-//       conda activate ${ENV_NAME}
-//       d2lbook build pdf
-//       """
+      sh label:"Build PDF", script:"""set -ex
+      conda activate ${ENV_NAME}
+      d2lbook build pdf
+      """
 
-//       sh label:"Build Pytorch PDF", script:"""set -ex
-//       conda activate ${ENV_NAME}
-//       d2lbook build pdf --tab pytorch
-//       """
+      sh label:"Build Pytorch PDF", script:"""set -ex
+      conda activate ${ENV_NAME}
+      d2lbook build pdf --tab pytorch
+      """
 
       if (env.BRANCH_NAME == 'release') {
         sh label:"Release", script:"""set -ex
@@ -81,7 +81,7 @@ stage("Build and Publish") {
       } else {
         sh label:"Publish", script:"""set -ex
         conda activate ${ENV_NAME}
-        d2lbook deploy html --s3 s3://preview.d2l.ai/${JOB_NAME}/
+        d2lbook deploy html pdf --s3 s3://preview.d2l.ai/${JOB_NAME}/
         """
         if (env.BRANCH_NAME.startsWith("PR-")) {
             pullRequest.comment("Job ${JOB_NAME}/${BUILD_NUMBER} is complete. \nCheck the results at http://preview.d2l.ai/${JOB_NAME}/")