#! /usr/bin/make
# Last edited on 2026-04-24 00:48:24 by stolfi

.PHONY:
.PHONY: all

all:
	do_note_005.sh