[nongnu] elpa/proof-general d1bbf22ed0: docs(README.md): Update badges (#676)

[ELPA Syncer]

branch: elpa/proof-general
commit d1bbf22ed06690b941470747fe1d2651206bea82
Author: Erik Martin-Dorel <erik@martin-dorel.org>
Commit: GitHub <noreply@github.com>

    docs(README.md): Update badges (#676)
---
 README.md | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index 796fbdb97f..c7d4733b3b 100644
--- a/README.md
+++ b/README.md
@@ -1,11 +1,12 @@
 # Proof General — Organize your proofs! 
 
 
[![CI](https://github.com/ProofGeneral/PG/workflows/CI/badge.svg?branch=master)](https://github.com/ProofGeneral/PG/actions?query=workflow%3ACI)
-[![NonGNU 
ELPA](https://elpa.nongnu.org/nongnu/proof-general.svg)](https://elpa.nongnu.org/nongnu/proof-general.html)
 
[![MELPA](https://melpa.org/packages/proof-general-badge.svg)](https://melpa.org/#/proof-general)
-[![MELPA 
Stable](https://stable.melpa.org/packages/proof-general-badge.svg)](https://stable.melpa.org/#/proof-general)
  
-[![ProofGeneral 
doc](https://img.shields.io/badge/doc-Proof%20General%20user%20manual-blue.svg)](https://proofgeneral.github.io/doc/master/userman/
 "The ProofGeneral user manual")
+[![NonGNU-devel 
ELPA](https://elpa.nongnu.org/nongnu-devel/proof-general.svg)](https://elpa.nongnu.org/nongnu-devel/proof-general.html)
  
+[![ProofGeneral 
doc](https://img.shields.io/badge/doc-Proof%20General%27s%20user%20manual-blue.svg)](https://proofgeneral.github.io/doc/master/userman/
 "The ProofGeneral user manual")
 [![PG-adapting 
doc](https://img.shields.io/badge/doc-PG--adapting-blue.svg)](https://proofgeneral.github.io/doc/master/adaptingman/
 "PG's adapting manual to add provers")
+[![MELPA 
Stable](https://stable.melpa.org/packages/proof-general-badge.svg)](https://stable.melpa.org/#/proof-general)
+[![NonGNU 
ELPA](https://elpa.nongnu.org/nongnu/proof-general.svg)](https://elpa.nongnu.org/nongnu/proof-general.html)
 
 ## Overview