fix README

Author: TomWambsgans

.github/workflows/doc.yml

@@ -50,8 +50,8 @@ jobs:
       - name: Publish PDF as release asset
         uses: softprops/action-gh-release@v2
         with:
-          tag_name: spec-latest
-          name: Latest leanVM-b PDF
+          tag_name: doc-latest
+          name: leanVM-b documentation
           body: |
             Auto-built from `doc/main.tex` on every push to `main`.
             Contains the specification, Annex A (ring switching) and Annex B (the PCS).

README.md

@@ -5,8 +5,7 @@
 </p>
 
 <p align="center">
-  <a href="./doc/main.tex"><img src="https://img.shields.io/badge/Specification-source-blue?style=for-the-badge&logo=latex&logoColor=white" alt="Specification source"></a>
-  <a href="https://github.com/leanEthereum/leanVM-b/releases/download/spec-latest/doc.pdf"><img src="https://img.shields.io/badge/main-PDF-blue?style=for-the-badge&logo=latex&logoColor=white" alt="Latest main-branch PDF"></a>
+  <a href="https://github.com/leanEthereum/leanVM-b/releases/download/doc-latest/leanVM-b.pdf"><img src="https://img.shields.io/badge/Documentation-PDF-blue?style=for-the-badge&logo=latex&logoColor=white" alt="Documentation"></a>
 </p>
 
 Warning: highly experimental.