
1. To create MANUAL.dvi just type  "tex MANUAL.tex"

2. "Lman" is a simple script for displaying LEDA manual pages
   on  normal terminal screens. It calls "gawk" (GNU awk) and
   reads the awk script "AWK". You probably have to change
   some path names in "Lman".
