Rid output of 'make doc'.

1 files changed, 3 insertions, 1 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 1ace6999bb07..2b343f963e0f 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -64,7 +64,9 @@ build()
     make GPRBUILD_OPTIONS="$GPRBUILD_OPTIONS" build
     
     cd doc
-    make html txt info texinfo
+    make html txt info texinfo \
+         1> doc-make-1.log     \
+         2> doc-make-2.log
 }