#!/bin/bash
echo ++++++++++++++++++++++++++
makeinfo ledger3.texi
echo ==========================
texi2pdf ledger3.texi