X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fdriver.c;h=067bf831ae7d988388743a30d836b2932e0e9de2;hb=300d3db698d3ac82a0a302a91ee62bcaad6337b6;hp=6204e335ca0185cc902955fd4a00db529e0de7c3;hpb=2fda41bd152e292b85160c1384419a2c554dea2b;p=pspp

diff --git a/src/output/driver.c b/src/output/driver.c
index 6204e335ca..067bf831ae 100644
--- a/src/output/driver.c
+++ b/src/output/driver.c
@@ -441,6 +441,7 @@ extern const struct output_driver_factory pdf_driver_factory;
 extern const struct output_driver_factory ps_driver_factory;
 extern const struct output_driver_factory svg_driver_factory;
 #endif
+extern const struct output_driver_factory tex_driver_factory;
 
 static const struct output_driver_factory *factories[] =
   {
@@ -455,6 +456,7 @@ static const struct output_driver_factory *factories[] =
     &ps_driver_factory,
     &svg_driver_factory,
 #endif
+    &tex_driver_factory,
     NULL
   };