From 7a93a8e8b731c3565aa94fbfe4b041ce0cda3aa8 Mon Sep 17 00:00:00 2001
From: Victor Zverovich <victor.zverovich@gmail.com>
Date: Wed, 12 Dec 2012 16:05:48 -0800
Subject: [PATCH] Try productionlist.

---
 README.rst | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/README.rst b/README.rst
index 9b333b52..180375de 100644
--- a/README.rst
+++ b/README.rst
@@ -81,14 +81,14 @@ escaped by doubling: ``{{`` and ``}}``.
 
 The grammar for a replacement field is as follows:
 
-.. parsed-literal::
+.. productionlist::
 
-  _`replacement_field`: "{" arg_index_ [":" format_spec_] "}"
-  _`arg_index`: integer
-  _`format_spec`: ["+"]["0"][width_]["." precision_][type_]
-  _`width`: integer
-  _`precision`: integer | "{" arg_index_ "}"
-  _`type`: "c" | "d" | "e" | "E" | "f" | "F" | "g" | "G" | "o" | "p" | "s" | "x" | "X"
+  replacement_field: "{" `arg_index` [":" `format_spec`] "}"
+  arg_index: integer
+  format_spec: ["+"]["0"][`width`]["." `precision`][`type`]
+  width: integer
+  precision: integer | "{" `arg_index` "}"
+  type: "c" | "d" | "e" | "E" | "f" | "F" | "g" | "G" | "o" | "p" | "s" | "x" | "X"
 
 Preceding the `width`_ field with ``0`` makes the padding to be placed
 after the sign (if any) but before the digits. This is used for printing