diff --git a/tools/c-parser/mkrelease b/tools/c-parser/mkrelease
index be3278e6e..4df89e63b 100755
--- a/tools/c-parser/mkrelease
+++ b/tools/c-parser/mkrelease
@@ -183,7 +183,6 @@ sed '
 ' < standalone-parser/Makefile > "$outputdir/src/c-parser/standalone-parser/Makefile"
 popd > /dev/null
 
-
 echo "Making PDF of ctranslation file."
 cd "$outputdir/src/c-parser/doc"
 make ctranslation.pdf > /dev/null
@@ -192,22 +191,6 @@ mv ctranslation.pdf "$outputdir/doc"
 
 popd > /dev/null
 
-lookforlicense=$(find "$outputdir" \! -name '*.lex.sml' \! -name '*.grm.sml' \! -type d -exec grep -q @LICENSE \{\} \; -print)
-if [ -n "$lookforlicense" ]
-then
-    die "### @LICENSE detected in file(s) $lookforlicense"
-else
-    echo "No @LICENSEs remain unexpanded - good."
-fi
-
-lookformichaeln=$(find "$outputdir" \! -name RELEASES.md \! -type d -exec grep -q /michaeln \{\} \; -print)
-if [ -n "$lookformichaeln" ]
-then
-    die "### /michaeln detected in file(s) $lookformichaeln"
-else
-    echo "No occurrences of \"/michaeln\" - good."
-fi
-
 echo -n "Compressing into $stem.tar.gz: "
 mv "$tmpdir/c-parser" "$tmpdir/$stem"