Commit message (Expand) | Author | Age | |
---|---|---|---|
* | fixing EXTRA_DIST issues' | Christian Grothoff | 2019-02-13 |
* | doc/tutorial/Makefile: fix leftover | ng0 | 2019-02-09 |
* | doc/documentation split into doc/tutorial and doc/handbook for clarity and to... | Christian Grothoff | 2018-10-25 |