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	…