model-checker: Add command-line parser for model checking options.
[pspp-builds.git] / doc / command-index.texi
1 @node Command Index
2 @chapter Command Index
3 @printindex vr