Preliminary convenience Makefile.
diff --git a/Doc/paper-a4/Makefile b/Doc/paper-a4/Makefile
new file mode 100644
index 0000000..15c7f14
--- /dev/null
+++ b/Doc/paper-a4/Makefile
@@ -0,0 +1,14 @@
+
+
+TEXINPUTS=.:../texinputs:
+
+all: all-ps
+
+all-ps:
+ $(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) -f ../Makefile all-ps
+
+all-pdf:
+ $(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) -f ../Makefile all-pdf
+
+all-dvi:
+ $(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) -f ../Makefile all-dvi
diff --git a/Doc/paper-letter/Makefile b/Doc/paper-letter/Makefile
new file mode 100644
index 0000000..72c8bbe
--- /dev/null
+++ b/Doc/paper-letter/Makefile
@@ -0,0 +1,14 @@
+
+
+TEXINPUTS=../texinputs:
+
+all: all-ps
+
+all-ps:
+ $(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) -f ../Makefile all-ps
+
+all-pdf:
+ $(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) -f ../Makefile all-pdf
+
+all-dvi:
+ $(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) -f ../Makefile all-dvi