Yes, I know. We may be able to weed this out when we clean up the theme. I can imagine that they're not even needed.
I would suggest leaving this there for now, as the package is not intended to go into the archive, but just a PPA, so we can distribute the built HTML files (via daily build) onto the server easily.
If you feel differently I can look at fixing those issues.
Yes, I know. We may be able to weed this out when we clean up the theme. I can imagine that they're not even needed.
I would suggest leaving this there for now, as the package is not intended to go into the archive, but just a PPA, so we can distribute the built HTML files (via daily build) onto the server easily.
If you feel differently I can look at fixing those issues.