srcname="GDB doc"
srctrigger=gdb.texinfo
# per-host:
# per-target:

files=""
links=""