package pack/publish ignores some folders

The documentation states:

Publish a package to the registry so that it can be installed by name. All files in the package directory are included if export field is not declared in a package manifest (for example, see export). The next items are automatically excluded:

._* __* .DS_Store .git/ .hg/ .svn/ .pio/ **/.pio/

However, my library (https://github.com/maakbaas/esp8266-iot-framework) contains three folders not listed above html/, docs/, and build/ that are not included in the tarball in PlatformIO 5.0.1. By default the export section in my library.json looks like this:

“export”: { “exclude”: [ “node_modules”, “.vscode” ] }

even if I update my library.json export section to what is shown below, or several other iterations, these folders keep getting ignored.

“export”: { “exclude”: [ “node_modules”, “.vscode” ], “include”: [ “docs/", "build/”, ] }

If I rename build/ to build2/, docs/ to docs2/ and html/ to html2/, these will be included in the tarball. Is there another hardcoded list of folder names that is not mentioned in the documentation that will be excluded?

[maakbaas]

Yes, I can confirm that it works. Thanks a lot!

[ivankravets]

Double dash before dev