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