X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=config%2Fdevices;fp=config%2Fdevices;h=3bc685a004fb7eb2cdf871a4e696b89557f37651;hb=e30e79108bdfe24672d6d365881d61b87631579d;hp=dbdc7b23234c99aa9b22c221ff3c0f21fffcab4c;hpb=3c1d80a71e11e8678dc96bc49e69a13fd0f499fa;p=pspp

diff --git a/config/devices b/config/devices
index dbdc7b2323..3bc685a004 100644
--- a/config/devices
+++ b/config/devices
@@ -85,7 +85,7 @@ pdf:cairo:listing:
 svg:cairo:listing:output-type=svg output-file="pspp.svg"
 ps-cairo:cairo:listing:output-type=ps output-file="pspp-cairo.ps"
 
-odt:odf:listing:
+odt:odf:listing:debug=off output-file="pspp.odt"
 
 # Devices that support the IBM PC line-drawing characters.
 define ibmpc-graphics \