-
Heinrich Schuchardt authored
Out documentation directory is doc/ and not docs/. Signed-off-by: Heinrich Schuchardt <xypron.glpk@gmx.de>
14b70045
Out documentation directory is doc/ and not docs/.
Signed-off-by: Heinrich Schuchardt <xypron.glpk@gmx.de>