srcname="READLINE doc"
srctrigger=rlman.texinfo
# per-host:

# per-target:

files=""
links=""