@@ -61,3 +61,6 @@ uninstall-local:
# Rule to update documentation on web server. Should only be used locally.
update-web:
scp starpu.pdf starpu.html sync:/web/runtime/html/StarPU
+
+showcheck:
+ -cat /dev/null
@@ -78,3 +78,5 @@ dist_man1_MANS =\
starpu_workers_activity.1
endif