[gtk-web/issue-30] Remove mentions of DevHelp on Windows

[Emmanuele Bassi <ebassi src gnome org>]

commit fb84cc6036abad98ad5b7eee90b848dc909154e0
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Thu Mar 5 12:57:15 2020 +0000

    Remove mentions of DevHelp on Windows
    
    DevHelp is not available on MSYS any more, due to its dependency on
    WebKitGtk.
    
    Fixes: #30

 collections/_docs/windows.md | 9 ---------
 1 file changed, 9 deletions(-)
---
diff --git a/collections/_docs/windows.md b/collections/_docs/windows.md
index 4220731..fa74280 100644
--- a/collections/_docs/windows.md
+++ b/collections/_docs/windows.md
@@ -68,15 +68,6 @@ To install Glade:
 pacman -S mingw-w64-x86_64-glade
 ```
 
-`Devhelp` is a help browser. It lets you easily navigate offline in the GTK,
-glib and gobject API help relative to the version of these libraries
-installed on your system.
-
-To install Devhelp:
-```
-pacman -S mingw-w64-x86_64-devhelp
-```
-
 **Step 4. (optional)**: If you want to develop a GTK3 application in Python,
 you need to install the Python bindings.