@@ -0,0 +1,5 @@
#!/bin/sh
dir1="./source"
while inotifywait -qqre modify "$dir1"; do
make clean html
done
The note is not visible to the blocked user.