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

Generate should have an option to interactively edit documentation #64

Open

2 tasks

atuleu opened this issue Aug 26, 2014 · 0 comments

Open

2 tasks

Generate should have an option to interactively edit documentation #64

atuleu opened this issue Aug 26, 2014 · 0 comments

atuleu commented Aug 26, 2014

such option should :

imply the -pedantic flag, see generate should have a '-pedantic' option #63
instead of reporting error to stderr, it should prompt user if he want to pop up $EDITOR at the position of the error to correct it

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

atuleu mentioned this issue

Allow first line of the comment to be blank, disallow an empty brief #61

Closed

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