[devdocsgjs/main: 537/1867] Remove unnecessary clean html filter
- From: Andy Holmes <andyholmes src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [devdocsgjs/main: 537/1867] Remove unnecessary clean html filter
- Date: Fri, 19 Nov 2021 23:47:16 +0000 (UTC)
commit 40cfc606b1226fb3788c82468adf48a77ff22651
Author: Harm Aarts <harmaarts gmail com>
Date: Fri Dec 14 10:13:51 2018 +0100
Remove unnecessary clean html filter
lib/docs/filters/pony/clean_html.rb | 9 ---------
lib/docs/scrapers/pony.rb | 3 ++-
2 files changed, 2 insertions(+), 10 deletions(-)
---
diff --git a/lib/docs/scrapers/pony.rb b/lib/docs/scrapers/pony.rb
index 0201ed18..091c22fe 100644
--- a/lib/docs/scrapers/pony.rb
+++ b/lib/docs/scrapers/pony.rb
@@ -4,8 +4,9 @@ module Docs
self.release = '0.25.0'
self.base_url = 'https://stdlib.ponylang.io/'
- html_filters.push 'pony/container', 'pony/clean_html', 'pony/entries'
+ html_filters.push 'pony/container', 'pony/entries'
options[:attribution] = "Me"
+
options[:trailing_slash] = false
options[:skip_patterns] = [/src/]
end
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]