From f98ffc3c10be90c1175d8ba5d69272f564be6d8e Mon Sep 17 00:00:00 2001
From: Matt Birkholz <matt@birkholz.chandler.az.us>
Date: Tue, 15 Oct 2013 10:55:39 -0700
Subject: [PATCH] dist/make-src-files: Fix $plugin-config log file names.

---
 dist/make-src-files | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dist/make-src-files b/dist/make-src-files
index af4c478c3..15e6fbe02 100755
--- a/dist/make-src-files
+++ b/dist/make-src-files
@@ -69,7 +69,7 @@ plugin ()
 
 for plugin in $PLUGINS; do
     D="${DIST_DIR}"/src/$plugin
-    run_command "${DOC_OUT}"-$plugin-config "${DIST_DIR}"/src/$plugin plugin
+    run_command "${OUTPUT_DIR}"/$plugin-config "${DIST_DIR}"/src/$plugin plugin
 done
 
 # Clean up after autoconf
-- 
2.25.1