X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2FhtmlP.h;h=1a29caeb8cf1da7d904c24a7b3409974a439957d;hb=7102dc8607b7e6e25bdb9806f508dce71fe76ce4;hp=fe63843d90e8278e8b6c087abe6e26ddb8bf5df5;hpb=8444d8d47de5e5f8d076b6f43f73c2c29494031e;p=pspp

diff --git a/src/output/htmlP.h b/src/output/htmlP.h
index fe63843d90..1a29caeb8c 100644
--- a/src/output/htmlP.h
+++ b/src/output/htmlP.h
@@ -20,7 +20,7 @@
 #if !htmlP_h
 #define htmlP_h 1
 
-#include <data/filename.h>
+#include <data/file-name.h>
 
 /* HTML output driver extension record. */
 struct html_driver_ext