[Xenomai-git] Philippe Gerum : doc: drop legacy txt/ section

Module: xenomai-forge Branch: next Commit: c8729f43fe2b71054b6f243b72e0c6e6def6ce48 URL: http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=c8729f43fe2b71054b6f243b72e0c6e6def6ce48 Author: Philippe Gerum r...@xenomai.org Date: Wed Jun 11 10:59:22 2014 +0200 doc: drop legacy txt/

[Xenomai-git] Philippe Gerum : doc: drop nodist/ section

Module: xenomai-forge Branch: next Commit: e76804436e72a5a4712152780493359fbfb852a4 URL: http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=e76804436e72a5a4712152780493359fbfb852a4 Author: Philippe Gerum r...@xenomai.org Date: Wed Jun 11 12:11:39 2014 +0200 doc: drop nodist/ section

[Xenomai-git] Philippe Gerum : build: move doc/ rule out of the main/all target

Module: xenomai-forge Branch: next Commit: cb28fab42ebdcbdbeddb98dcb16e649dc9c0798b URL: http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=cb28fab42ebdcbdbeddb98dcb16e649dc9c0798b Author: Philippe Gerum r...@xenomai.org Date: Wed Jun 11 14:16:04 2014 +0200 build: move doc/ rule out of

[Xenomai-git] Philippe Gerum : doc: drop empty docbook/ section

Module: xenomai-forge Branch: next Commit: 7452eb183821536e3216fdfe7e27b3eab051b554 URL: http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=7452eb183821536e3216fdfe7e27b3eab051b554 Author: Philippe Gerum r...@xenomai.org Date: Wed Jun 11 10:59:22 2014 +0200 doc: drop empty docbook/

[Xenomai-git] Philippe Gerum : doc/doxygen: simplify and sanitize build rules

Module: xenomai-forge Branch: next Commit: 383afd709f30a7321f747c6bc3a025707966d8d5 URL: http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=383afd709f30a7321f747c6bc3a025707966d8d5 Author: Philippe Gerum r...@xenomai.org Date: Wed Jun 11 14:16:04 2014 +0200 doc/doxygen: simplify and