diff --git a/Doc/paper-a4/Makefile b/Doc/paper-a4/Makefile new file mode 100644 index 00000000000..f6d9de8bc8d --- /dev/null +++ b/Doc/paper-a4/Makefile @@ -0,0 +1,2 @@ +include ../paper-letter/Makefile +PAPER=a4