diff --git a/docs/symlink_py.bash b/docs/symlink_py.bash
index df8cf37f7..731a44857 100755
--- a/docs/symlink_py.bash
+++ b/docs/symlink_py.bash
@@ -1,5 +1,14 @@
 #!/bin/bash 
 
+create_check_symlink () {
+   ln -s $1 $2 -f
+   if ! [ -e ${2} ] ; then
+      echo "Broken link"
+      echo $2
+      exit 1
+   fi
+}
+
 mkdir -p links_to_compiler_build/py/concretelang_core
 
 cd links_to_compiler_build/py/concretelang_core
@@ -17,10 +26,11 @@ pyfiles=`find $py_prefix -iname "*.py"`
 
 for file in $pyfiles
 do
-    ln -s $file `echo $file | sed s:$py_prefix::` -f
+    relative_path=`echo $file | sed s:$py_prefix::`
+    create_check_symlink $file $relative_path
 done
 
 # Manually create dialect files
-ln -s ${py_prefix}lang/dialects/_FHE_ops_gen.py lang/dialects/fhe.py  -f
-ln -s ${py_prefix}lang/dialects/_FHELinalg_ops_gen.py lang/dialects/fhelinalg.py  -f
-ln -s ${py_prefix}lang/dialects/_ods_common.py lang/dialects/_ods_common.py  -f
+create_check_symlink ${py_prefix}lang/dialects/_FHE_ops_gen.py lang/dialects/fhe.py
+create_check_symlink ${py_prefix}lang/dialects/_FHELinalg_ops_gen.py lang/dialects/fhelinalg.py
+create_check_symlink ${py_prefix}lang/dialects/_ods_common.py lang/dialects/_ods_common.py