Fabrice Fontaine 2585de4100 package/xenomai: drop unrecognized option ... --disable-doc-install is not available since version 3.0.6 and 6076f0951c Signed-off-by: Fabrice Fontaine <fontaine.fabrice@gmail.com> Signed-off-by: Peter Korsgaard <peter@korsgaard.com>		2021-01-19 20:26:33 +01:00
..
3.0.10
Config.in
xenomai.hash
xenomai.mk