Merge pull request #5 from Nokia-Bell-Labs/correct-docs-yml

corrected docs yml

Author: peterhcharlton

.github/workflows/docs.yml

@@ -43,5 +43,4 @@ jobs:
 
       - name: Deploy to GitHub Pages
         if: github.ref == 'refs/heads/main'
-        uses: actions/deploy-pages@v4
-           
+        uses: actions/deploy-pages@v4