X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2FhtmlP.h;fp=src%2Foutput%2FhtmlP.h;h=1a29caeb8cf1da7d904c24a7b3409974a439957d;hb=5f168bf8465ae50ba5c2c761b52f29a0500c0658;hp=fe63843d90e8278e8b6c087abe6e26ddb8bf5df5;hpb=d9bca7edf0d4a024ca930d1e34e08a3b4d54a6c7;p=pspp-builds.git

diff --git a/src/output/htmlP.h b/src/output/htmlP.h
index fe63843d..1a29caeb 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