4 Commits

Author	SHA1	Message	Date
Xavier Claessens	340aedc0d9	hotdoc: Install devhelp files at the right location ... When devhelp is enabled, hotdoc generates a devhelp/ subdir that needs to be installed to /usr/share/devhelp/. Otherwise, the html/ subdir needs to be installed to /usr/share/doc/<project>/html/	2023-03-16 10:36:33 -04:00
Eli Schwartz	680b5ff819	treewide: add future annotations import	2023-02-01 17:01:30 -05:00
Daniel Mensinger	a4f4379c44	typing: fully annotate scripts	2020-09-08 20:15:56 +02:00
Thibault Saunier	378bd4df0e	modules: Add an 'hotdoc' module ... hotdoc: http://github.com/hotdoc/hotdoc/	2018-08-28 18:18:40 -03:00