X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=configure.in;h=b067305f9dcf38c807099c986524dd54bd279cec;hb=9eab9b8be37f69208fb55234a3c4db0f97c688f2;hp=d45c4c0a44ebe77acf8871f7d0dc3a037d52783b;hpb=25b8ed1b67b38f332737dc6d69d32ea1dae8f48b;p=lilypond.git

diff --git a/configure.in b/configure.in
index d45c4c0a44..b067305f9d 100644
--- a/configure.in
+++ b/configure.in
@@ -205,6 +205,11 @@ STEPMAKE_END
 
 test -n "$CONFIGURATION" && mc=" conf=$CONFIGURATION" || mc=""
 
+if make top-doc 1>/dev/null 2>&1; then
+    rm -f INSTALL.txt && ln Documentation/topdocs/out/INSTALL.txt .
+    rm -f README.txt && ln Documentation/topdocs/out/README.txt .
+fi
+
 cat <<EOF
 
 Type: