Unhelpful error message `doc/title.xml: needs update`
fingolfin opened this issue · 0 comments
fingolfin commented
@nathancarter observed the following, after having accidentally added doc/title.xml to a repository (a mistake that can very easily happen):
Extracting information from PackageInfo.g...
Package JupyterViz 1.3.0
Building GAP package documentation (using makedoc.g)
Generating documentation in Directory("./doc/")
[many lines of doc building]
#I File: ./doc/manual.lab written.
doc/title.xml: needs update
Note the error message which is not very helpful. Ideally it should say something like uncommitted changes detected
Running releasetools again after gives just this line:
doc/title.xml: needs update