X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Foutput%2Fdriver.c;h=067bf831ae7d988388743a30d836b2932e0e9de2;hb=75ac1e869e551495c403cf94a3a24dd0dfee98ef;hp=6204e335ca0185cc902955fd4a00db529e0de7c3;hpb=96994a54e60e9c95b8bba54c2281acf7059b1203;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
   };