X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=config%2Fautomake.mk;fp=config%2Fautomake.mk;h=2843c311b2537f714c78d106c7714890afafe466;hb=f6824ecbc579c68db49144fede419ca0acb0f53b;hp=0000000000000000000000000000000000000000;hpb=009350385d97d9fba2b33ea68cfe8b1aeebf1529;p=pspp

diff --git a/config/automake.mk b/config/automake.mk
new file mode 100644
index 0000000000..2843c311b2
--- /dev/null
+++ b/config/automake.mk
@@ -0,0 +1,23 @@
+## Process this file with automake to produce Makefile.in  -*- makefile -*-
+
+
+pkgsysconf_DATA = \
+	config/devices \
+	config/html-prologue \
+	config/papersize \
+	config/ps-prologue
+
+EXTRA_DIST += $(pkgsysconf_DATA)
+
+# A `private installation' in my terms is just having the appropriate
+# configuration files in ~/.pspp instead of a global configuration
+# location.  So I let those files be installed automatically.
+
+private-install:
+	$(mkinstalldirs) $$HOME/.pspp
+	cd $(top_srcdir); cp $(pkgsysconf_DATA) $$HOME/.pspp
+
+private-uninstall:
+	-cd $$HOME/.pspp;  $(RM) $(notdir $(pkgsysconf_DATA))
+	-rmdir $$HOME/.pspp
+