[devdocsgjs/main: 233/239] Merge pull request #1717 from xjkdev/docs-eigen3

[Andy Holmes <andyholmes src gnome org>]

commit c338f2c82447106d800426e8de385c8c8c4ba511
Merge: 44d42bbd c94aa25e
Author: Simon Legner <Simon Legner gmail com>
Date:   Thu Mar 31 08:26:27 2022 +0200

    Merge pull request #1717 from xjkdev/docs-eigen3
    
    Added Eigen3 document

 .../javascripts/templates/pages/about_tmpl.coffee  |   5 +
 assets/stylesheets/application.css.scss            |   1 +
 assets/stylesheets/pages/_eigen3.scss              |   0
 lib/docs/filters/eigen3/clean_html.rb              |  25 +++++
 lib/docs/filters/eigen3/entries.rb                 | 123 +++++++++++++++++++++
 lib/docs/scrapers/eigen3.rb                        |  76 +++++++++++++
 public/icons/docs/eigen3/16.png                    | Bin 0 -> 1460 bytes
 public/icons/docs/eigen3/16 2x png                 | Bin 0 -> 3088 bytes
 public/icons/docs/eigen3/SOURCE                    |   1 +
 9 files changed, 231 insertions(+)
---