From 7cc2199ee1300141fa02bc0734ef85e3f178046e Mon Sep 17 00:00:00 2001 From: Petr Benes Date: Sun, 15 Apr 2012 13:50:11 -0400 Subject: PR 1912: Add Scheduler Documentation Adds documentation on the scheduler options and scheduler selection to the User's Manual to reflect changes made in the development of pluggable scheduling with EDF and CBS schedulers. --- doc/ada_user/Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/ada_user/Makefile.am') diff --git a/doc/ada_user/Makefile.am b/doc/ada_user/Makefile.am index 9ba4feedae..d4b8bac599 100644 --- a/doc/ada_user/Makefile.am +++ b/doc/ada_user/Makefile.am @@ -27,7 +27,7 @@ COMMON_FILES += \ $(top_builddir)/user/task.texi $(top_builddir)/user/timer.texi \ $(top_builddir)/user/userext.texi $(top_builddir)/user/stackchk.texi \ $(top_builddir)/user/cpuuse.texi $(top_srcdir)/common/cpright.texi \ - $(top_builddir)/user/object.texi + $(top_builddir)/user/object.texi $(top_builddir)/user/cbs.texi FILES = example.texi -- cgit v1.2.3