#631: Documentation fails to build if not in an SVN checkout ---------------------+------------------------------------------------------ Reporter: hinder | Owner: Type: defect | Status: new Priority: minor | Milestone: Component: Cactus | Version: Resolution: | Keywords: ---------------------+------------------------------------------------------
Comment (by eschnett):
This seems to come from magic in latex/cactus.sty that attaches the svn checkout date and svn revision number to the documentation. I would argue that we don't need this, and should disable this magic for the release. Released documentation should have the release name and release date it it anyway.