5 Commits

Author	SHA1	Message	Date
Michele Guerini Rocco	5043dd843d	use MathML for the HTML manual ... All the major browser now supports it pretty well.	2025-02-05 11:14:45 +01:00
Michele Guerini Rocco	68358ac506	Makefile: propagate up the docs prerequisites	2024-11-09 18:36:24 +01:00
Michele Guerini Rocco	5a8e64a595	Makefile: fix shell quoting	2022-05-11 01:15:03 +02:00
Michele Guerini Rocco	58ee0bdc1b	doc: add anchor links to headings	2022-05-11 01:14:59 +02:00
Michele Guerini Rocco	08dad4ff45	add documentation	2021-12-15 02:30:58 +01:00