#!/bin/sh

set -e

if false
then
	update-fonts-dir manual
	update-fonts-scale manual
fi
