New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Unhelpful error message `doc/title.xml: needs update` #58

Closed

fingolfin opened this issue Dec 3, 2018 · 0 comments

Member

fingolfin commented Dec 3, 2018

@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

The text was updated successfully, but these errors were encountered:

fingolfin closed this as completed in

e4cb211

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment