Eelco Dolstra d64f9671fc Merge pull request #5094 from Pamplemousse/simpler_doc ... doc/manual: don't need to copy `highlight.js` manually		2021-08-05 15:13:07 +02:00
..
manual	Merge pull request #5094 from Pamplemousse/simpler_doc	2021-08-05 15:13:07 +02:00