Marius Gerbershagen 3c3a02ea7d doc: improvements to extensions section ... Use consistent formatting, fix errors and typos.		2019-01-02 12:27:02 +01:00
..
developer-guide	doc: improvements to extensions section	2019-01-02 12:27:02 +01:00
extensions	doc: improvements to extensions section	2019-01-02 12:27:02 +01:00
figures	newdoc: add file-types figure	2016-11-27 22:17:57 +01:00
indexes	new-doc: indexes: add configure options index	2016-03-03 21:26:35 +01:00
introduction	doc: fix various typos and remove use of legacy names in examples	2018-10-26 17:54:08 +02:00
standards	doc: improvements to extensions section	2019-01-02 12:27:02 +01:00
user-guide	doc: fix various typos and remove use of legacy names in examples	2018-10-26 17:54:08 +02:00
.gitignore	new-doc: update new-doc	2016-06-18 16:47:13 +02:00
ecl.css	new-doc: use css, add info	2016-06-18 17:00:02 +02:00
macros.txi	new-doc: update new-doc	2016-06-18 16:47:13 +02:00
Makefile	doc: fix makeinfo invocation failures	2018-04-04 21:27:11 +02:00
new-doc.txi	new-doc: update new-doc	2016-06-18 16:47:13 +02:00