X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fversion.h;h=4ce892f9a20a6fca39430d8fb5ecb221d455d17f;hb=da08e8b9ea6bfa772b4daec4a944279267852515;hp=e2125154a8ca20ccd57005012957bf7d4ae68fec;hpb=f550aee00a62fe1d8baf62d83cd7efef6cc2ee92;p=pspp

diff --git a/src/libpspp/version.h b/src/libpspp/version.h
index e2125154a8..4ce892f9a2 100644
--- a/src/libpspp/version.h
+++ b/src/libpspp/version.h
@@ -36,7 +36,11 @@ extern const char build_system[];
 /* Locale directory. */
 extern const char locale_dir[];
 
+/* The Examples directory */
+extern const char const examples_dir[];
+
 /* From the AUTHORS file */
 extern const char *const authors[];
 
+
 #endif /* !version_h */