Restoring the build of DafnyRef.pdf (#3788)

Restoring the build of DafnyRef.pdf now that external problems with
latex downloads seem to have been resolved

<small>By submitting this pull request, I confirm that my contribution
is made under the terms of the [MIT
license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>

---------

Co-authored-by: davidcok <davidcok@github.com>

.github/workflows/publish-release-reusable.yml

@@ -98,18 +98,18 @@ jobs:
  # version.
  run: dotnet nuget push --skip-duplicate "dafny/Binaries/Dafny*.nupkg" -k ${{ secrets.nuget_api_key }} -s https://api.nuget.org/v3/index.json
 
-## Skip building RM until brew install pandoc is working once more
-## - name: Install latex pandoc
-## run: |
-## brew install pandoc
-## brew install --cask mactex
-## eval "$(/usr/libexec/path_helper)"
-## sudo tlmgr update --self
-## sudo tlmgr install framed tcolorbox environ trimspaces unicode-math
-## pandoc -v
-## which latex || echo NOT FOUND latex
-## which xelatex || echo NOT FOUND xelatex
-## sudo gem install rouge -v 3.30.0
+ - name: Install latex pandoc
+  run: |
+  brew update-reset && brew update
+ brew install pandoc
+ brew install --cask mactex
+ eval "$(/usr/libexec/path_helper)"
+ sudo tlmgr update --self
+ sudo tlmgr install framed tcolorbox environ trimspaces unicode-math
+ pandoc -v
+ which latex || echo NOT FOUND latex
+ which xelatex || echo NOT FOUND xelatex
+ sudo gem install rouge -v 3.30.0
  - name: Clean Dafny
  run: dotnet clean dafny/Source/Dafny.sln
  # First we build the ZIPs (which do not include the refman)
@@ -125,13 +125,13 @@ jobs:
  # and that perturbs the path enough that `python` above would resolve to an older built-in Python version.
  # Additionally, since the refman build scripts expect to find Dafny in its usual Binaries/ folder (not in
  # a platform-specific directory), we build Dafny once here.
-## - name: Re-build Dafny
-## run: dotnet build dafny/Source/Dafny.sln
-## - name: Build reference manual
-## run: |
-## eval "$(/usr/libexec/path_helper)"
-## make -C dafny/docs/DafnyRef
-##
+ - name: Re-build Dafny
+ run: dotnet build dafny/Source/Dafny.sln
+ - name: Build reference manual
+ run: |
+ eval "$(/usr/libexec/path_helper)"
+ make -C dafny/docs/DafnyRef
+
  - name: Create GitHub release
  uses: softprops/action-gh-release@v1
  with:
@@ -142,5 +142,5 @@ jobs:
  prerelease: ${{ inputs.prerelease }}
  files: |
  dafny/Package/dafny-${{ inputs.name }}*
-## dafny/docs/DafnyRef/DafnyRef.pdf
+ dafny/docs/DafnyRef/DafnyRef.pdf
  fail_on_unmatched_files: true