@ -19,6 +19,7 @@ all: $(objects)
$(output)/%.html: $(source)/%.v
coqc $<
coqdoc --html --no-index -d ./html/ $<
scp $@ baruchel@sdf.org:public_html/coqbooks/
.PHONY : clean
The note is not visible to the blocked user.