dglazkov / polymath

MIT License
132 stars 9 forks source link

Allow convert.out to work on multiple libraries at once #87

Open jkomoros opened 1 year ago

jkomoros commented 1 year ago

convert.out takes a single library at a time as a required argument.

Some hosts have multiple individual library flies (especially if there is a mix of public and private content), and adding multiple files at a time would be nice.

However, we'd want it by default to skip libraries in libraries/third_party/