# yes. we ship online documentation
package-contains-documentation-outside-usr-share-doc [usr/share/puredata/doc/*]
