Skip to content
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

Make sure that the README and manual are in sync #370

Open
wilfwilson opened this issue Dec 16, 2020 · 3 comments
Open

Make sure that the README and manual are in sync #370

wilfwilson opened this issue Dec 16, 2020 · 3 comments
Assignees
@wilfwilson
Labels
doc Issues, bugs, pull requests relating to the documentation minor A label for PRs or issues that are minor in some sense.

Comments

@wilfwilson
Copy link
Collaborator

In particular, Chapter 2: Installation Digraphs.

I get the impression that mostly these come from the same source, but they have diverged slightly in subtle ways. One example is that the manual doesn't mention using the configure options --with-external-bliss or --with-external-planarity but I think there are other ways they differ that they maybe shouldn't.
@wilfwilson wilfwilson added minor A label for PRs or issues that are minor in some sense. doc Issues, bugs, pull requests relating to the documentation labels Dec 16, 2020
@wilfwilson wilfwilson self-assigned this Mar 3, 2021
@wilfwilson
Copy link
Collaborator Author

wilfwilson commented Mar 3, 2021 •
edited
Loading

This is partially (and perhaps fully?) resolved in #420; see #320. Funny that this issue is numbered exactly half way between those two.

@wilfwilson
Copy link
Collaborator Author

I need to check whether this is now resolved.

@github-actions
Copy link

github-actions bot commented Jan 7, 2022

Stale issue message

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

@wilfwilson wilfwilson

Labels
doc Issues, bugs, pull requests relating to the documentation minor A label for PRs or issues that are minor in some sense.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@james-d-mitchell @wilfwilson