dist/make-src-files: Fix $plugin-config log file names.

diff --git a/dist/make-src-files b/dist/make-src-files
index af4c478c33252ba32fa7daa84f6dff69d799467c..15e6fbe02dff2bb712d99cbb397895053e1390c3 100755 (executable)
--- 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