[devdocsgjs/main: 533/1867] Use live URL

[Andy Holmes <andyholmes src gnome org>]

commit 56c6fe95afe686dc78a70b16c684cefef7aec156
Author: Harm Aarts <harmaarts gmail com>
Date:   Thu Dec 13 22:25:07 2018 +0100

    Use live URL

 lib/docs/scrapers/pony.rb | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)
---
diff --git a/lib/docs/scrapers/pony.rb b/lib/docs/scrapers/pony.rb
index 9863ed76..6fb1dd56 100644
--- a/lib/docs/scrapers/pony.rb
+++ b/lib/docs/scrapers/pony.rb
@@ -2,8 +2,7 @@ module Docs
   class Pony < UrlScraper
     self.type = 'pony'
     self.release = '0.25.0'
-    self.base_url = 'http://localhost:2015'
-    #self.base_url = 'https://stdlib.ponylang.io/'
+    self.base_url = 'https://stdlib.ponylang.io/'
 
     html_filters.push 'pony/container', 'pony/entries', 'pony/clean_html'
     options[:attribution] = "Me"