diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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 } |