X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=config%2Fdevices;h=3bc685a004fb7eb2cdf871a4e696b89557f37651;hb=572fab1a5ed253a07a182e273c666315d0e696cd;hp=2c080e768a2ff46037e640a69b120428b7757ff9;hpb=27cc40906c7b388fc0bec644b324ef6a4dec6dc3;p=pspp

diff --git a/config/devices b/config/devices
index 2c080e768a..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:odt:listing:
+odt:odf:listing:debug=off output-file="pspp.odt"
 
 # Devices that support the IBM PC line-drawing characters.
 define ibmpc-graphics \