regnat 441be5d59a Remove dead code in doc’s local.mk		2021-07-27 14:37:55 +02:00
..
manual	Remove dead code in doc’s local.mk	2021-07-27 14:37:55 +02:00