diff --git a/mkrelease b/mkrelease
index 1457617..9aa0967 100755
--- a/mkrelease
+++ b/mkrelease
@@ -100,16 +100,18 @@ fi
 if test $rc -eq 0; then
 
     echo "  -> Checking for new man pages..."
-    git diff --name-only --diff-filter=A $(cat meta/version) -- doc \
-        | while read -r file ; do
+    git diff --name-only --diff-filter=A $(cat meta/version) -- src/doc \
+        | grep -v src/doc/include/ | while read -r file ; do
+        test -L "$file" && continue
         echo "    * Updating $file..."
         { head -n 2 "$file"; echo "% $prjname $new"; echo "% $date"; tail -n +3 "$file"; } > "$file.tmp"
         mv -f "$file.tmp" "$file"
     done
 
     echo "  -> Checking for modified man pages..."
-    git diff --name-only --diff-filter=M $(cat meta/version) -- doc \
-        | while read -r file ; do
+    git diff --name-only --diff-filter=M $(cat meta/version) -- src/doc \
+        | grep -v src/doc/include/ | while read -r file ; do
+        test -L "$file" && continue
         echo "    * Updating $file..."
         { head -n 2 "$file"; echo "% $prjname $new"; echo "% $date"; tail -n +5 "$file"; } > "$file.tmp"
         mv -f "$file.tmp" "$file"
@@ -117,7 +119,7 @@ if test $rc -eq 0; then
 
     if test -n "$(git status -s)"; then
         echo "  -> Adding automatic changes..."
-        git add -e -- doc
+        run git add -e -- src/doc
     fi
 
 fi # rc == 0