X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fdriver.c;h=136b4c4f2705cc0a6fbb67f8a9c1281e14d3f2cc;hb=173d1687aea88e0e5e1b1d8615ed68ebefb15d08;hp=6d836354a16f20b952670ab19a47cac5609707f4;hpb=4277d80790ded2c83d81a34ed536abe95c925d45;p=pspp

diff --git a/src/output/driver.c b/src/output/driver.c
index 6d836354a1..136b4c4f27 100644
--- a/src/output/driver.c
+++ b/src/output/driver.c
@@ -327,8 +327,9 @@ output_driver_create (struct string_map *options)
     device_type = SETTINGS_DEVICE_LISTING;
   else
     {
+      /* TRANSLATORS: Don't translate the words `terminal' or `listing'. */
       error (0, 0, _("%s is not a valid device type (the choices are "
-                     "\"terminal\" and \"listing\")"), device_string);
+                     "`terminal' and `listing')"), device_string);
       device_type = default_device_type (file_name);
     }
 
@@ -340,7 +341,7 @@ output_driver_create (struct string_map *options)
       const char *key;
 
       STRING_MAP_FOR_EACH_KEY (key, node, options)
-        error (0, 0, _("%s: unknown option \"%s\""), file_name, key);
+        error (0, 0, _("%s: unknown option `%s'"), file_name, key);
     }
   string_map_clear (options);