Ticket #8277: 0001-Fix-name-of-vanilla-RTS-way-in-the-user-s-guide.patch

File 0001-Fix-name-of-vanilla-RTS-way-in-the-user-s-guide.patch, 1.1 KB (added by rwbarton, 7 months ago)
  • docs/users_guide/runtime_control.xml

    From 63aca9aa7ee96c1c505c80c65f7703d850ed0621 Mon Sep 17 00:00:00 2001
    From: Reid Barton <rwbarton@gmail.com>
    Date: Thu, 12 Sep 2013 13:21:10 -0400
    Subject: [PATCH] Fix name of vanilla RTS way in the user's guide
    
    ---
     docs/users_guide/runtime_control.xml |    2 +-
     1 files changed, 1 insertions(+), 1 deletions(-)
    
    diff --git a/docs/users_guide/runtime_control.xml b/docs/users_guide/runtime_control.xml
    index 3e3ae3f..aed507b 100644
    a b $ ./a.out +RTS --info 
    14351435        <term><literal>RTS way</literal></term> 
    14361436        <listitem> 
    14371437          <para>The variant (&ldquo;way&rdquo;) of the runtime. The 
    1438           most common values are <literal>rts</literal> (vanilla), 
     1438          most common values are <literal>rts_v</literal> (vanilla), 
    14391439          <literal>rts_thr</literal> (threaded runtime, i.e. linked using the 
    14401440          <literal>-threaded</literal> option) and <literal>rts_p</literal> 
    14411441          (profiling runtime, i.e. linked using the <literal>-prof</literal>