diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/fate.texi | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/fate.texi b/doc/fate.texi index 5897cb53eb..e04f62fc79 100644 --- a/doc/fate.texi +++ b/doc/fate.texi @@ -187,7 +187,8 @@ the synchronisation of the samples directory. through @command{ssh}. @end table -Example: +@section Examples + @example make V=1 SAMPLES=/var/fate/samples THREADS=2 CPUFLAGS=mmx fate @end example |