@ -39,6 +39,6 @@ $(GITINFO): FORCE
echo "\\newcommand{\\revision}{$(OUTPUT)}" > $(GITINFO)
clean:
rm -rf $(OUTDIR)
FORCE:
The note is not visible to the blocked user.