From 2d657e8f89accec75afebaa66beaba8c848d48bf Mon Sep 17 00:00:00 2001 From: Florent Pruvost <florent.pruvost@inria.fr> Date: Wed, 3 May 2017 09:48:16 +0200 Subject: [PATCH] add a missing section node in the menu --- docs/texinfo/chapters/configuration.texi | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/texinfo/chapters/configuration.texi b/docs/texinfo/chapters/configuration.texi index d57a476a9..883e82f38 100644 --- a/docs/texinfo/chapters/configuration.texi +++ b/docs/texinfo/chapters/configuration.texi @@ -12,6 +12,7 @@ @c * Dependencies compilation:: * Use FxT profiling through StarPU:: * Use simulation mode with StarPU-SimGrid:: +* Use out of core support with StarPU:: @end menu @c @code{} @option{} -- GitLab