#!/bin/sh

dot -c

# End of file