make  all-recursive
Making all in doc
Making all in man
sed < ./Protocol-A.texi \
    -e 's/@holl{\([^,]*\),\([^}]*\)}/\1H\2/g' \
    -e 's/@value{IAM}/Inl@"agg @}t mig/g' \
    -e 's/@lt{\([^}]*\)}/\1/g' \
> protocol-a.texi.tmp
chmod 444 protocol-a.texi.tmp
rm -f protocol-a.texi
mv protocol-a.texi.tmp protocol-a.texi
cd . && rm -f protocol-a.info protocol-a.info-[0-9] protocol-a.info-[0-9][0-9]
cd . \
  && /bin/bash /mp/slaskdisk/tmp/xenofarm/lyskom-server/lysator.liu.se/buildtmp/dist/lyskom-server-2.0.7/scripts/missing --run makeinfo `echo protocol-a.texi | sed 's,.*/,,'`
protocol-a.texi:284: Unknown command `copying'.
protocol-a.texi:310: Unmatched `@end'.
protocol-a.texi:418: No matching `@end ifnottex'.
protocol-a.texi:422: Unknown command `insertcopying'.
protocol-a.texi:424: Unmatched `@end'.
protocol-a.texi:426: No matching `@end ifnottex'.
protocol-a.texi:429: Unmatched `@end'.
protocol-a.texi:1050: Unknown command `anchor'.
protocol-a.texi:1050: Misplaced {.
protocol-a.texi:1050: Misplaced }.
protocol-a.texi:1051: Unknown command `anchor'.
protocol-a.texi:1051: Misplaced {.
protocol-a.texi:1051: Misplaced }.
protocol-a.texi:1052: Unknown command `anchor'.
protocol-a.texi:1052: Misplaced {.
protocol-a.texi:1052: Misplaced }.
protocol-a.texi:1053: Unknown command `anchor'.
protocol-a.texi:1053: Misplaced {.
protocol-a.texi:1053: Misplaced }.
protocol-a.texi:1064: Unknown command `anchor'.
protocol-a.texi:1064: Misplaced {.
protocol-a.texi:1064: Misplaced }.
protocol-a.texi:1075: Unknown command `anchor'.
protocol-a.texi:1075: Misplaced {.
protocol-a.texi:1075: Misplaced }.
protocol-a.texi:1107: Unknown command `anchor'.
protocol-a.texi:1107: Misplaced {.
protocol-a.texi:1107: Misplaced }.
protocol-a.texi:1136: Unknown command `anchor'.
protocol-a.texi:1136: Misplaced {.
protocol-a.texi:1136: Misplaced }.
protocol-a.texi:1186: Unknown command `anchor'.
protocol-a.texi:1186: Misplaced {.
protocol-a.texi:1186: Misplaced }.
protocol-a.texi:1206: Unknown command `anchor'.
protocol-a.texi:1206: Misplaced {.
protocol-a.texi:1206: Misplaced }.
protocol-a.texi:1241: Unknown command `anchor'.
protocol-a.texi:1241: Misplaced {.
protocol-a.texi:1241: Misplaced }.
protocol-a.texi:1519: Unknown command `anchor'.
protocol-a.texi:1519: Misplaced {.
protocol-a.texi:1519: Misplaced }.
protocol-a.texi:1551: Unknown command `anchor'.
protocol-a.texi:1551: Misplaced {.
protocol-a.texi:1551: Misplaced }.
protocol-a.texi:1563: Unknown command `anchor'.
protocol-a.texi:1563: Misplaced {.
protocol-a.texi:1563: Misplaced }.
protocol-a.texi:1564: Unknown command `anchor'.
protocol-a.texi:1564: Misplaced {.
protocol-a.texi:1564: Misplaced }.
protocol-a.texi:1565: Unknown command `anchor'.
protocol-a.texi:1565: Misplaced {.
protocol-a.texi:1565: Misplaced }.
protocol-a.texi:1585: Unknown command `anchor'.
protocol-a.texi:1585: Misplaced {.
protocol-a.texi:1585: Misplaced }.
protocol-a.texi:1586: Unknown command `anchor'.
protocol-a.texi:1586: Misplaced {.
protocol-a.texi:1586: Misplaced }.
protocol-a.texi:1603: Unknown command `anchor'.
protocol-a.texi:1603: Misplaced {.
protocol-a.texi:1603: Misplaced }.
protocol-a.texi:1604: Unknown command `anchor'.
protocol-a.texi:1604: Misplaced {.
protocol-a.texi:1604: Misplaced }.
protocol-a.texi:1605: Unknown command `anchor'.
protocol-a.texi:1605: Misplaced {.
protocol-a.texi:1605: Misplaced }.
protocol-a.texi:1606: Unknown command `anchor'.
protocol-a.texi:1606: Misplaced {.
protocol-a.texi:1606: Misplaced }.
protocol-a.texi:1708: Unknown command `anchor'.
protocol-a.texi:1708: Misplaced {.
protocol-a.texi:1708: Misplaced }.
protocol-a.texi:1709: Unknown command `anchor'.
protocol-a.texi:1709: Misplaced {.
protocol-a.texi:1709: Misplaced }.
protocol-a.texi:1710: Unknown command `anchor'.
protocol-a.texi:1710: Misplaced {.
protocol-a.texi:1710: Misplaced }.
protocol-a.texi:1776: Unknown command `anchor'.
protocol-a.texi:1776: Misplaced {.
protocol-a.texi:1776: Misplaced }.
protocol-a.texi:1793: Unknown command `anchor'.
protocol-a.texi:1793: Misplaced {.
protocol-a.texi:1793: Misplaced }.
protocol-a.texi:1794: Unknown command `anchor'.
protocol-a.texi:1794: Misplaced {.
protocol-a.texi:1794: Misplaced }.
protocol-a.texi:1819: Unknown command `anchor'.
protocol-a.texi:1819: Misplaced {.
protocol-a.texi:1819: Misplaced }.
protocol-a.texi:1840: Unknown command `anchor'.
protocol-a.texi:1840: Misplaced {.
protocol-a.texi:1840: Misplaced }.
protocol-a.texi:1932: Unknown command `anchor'.
protocol-a.texi:1932: Misplaced {.
protocol-a.texi:1932: Misplaced }.
Too many errors!  Gave up.
Making info file `protocol-a.info' from `protocol-a.texi'.
*** Error code 1
make: Fatal error: Command failed for target `protocol-a.info'
Current working directory /mp/slaskdisk/tmp/xenofarm/lyskom-server/lysator.liu.se/buildtmp/dist/lyskom-server-2.0.7/doc
*** Error code 1
make: Fatal error: Command failed for target `all-recursive'
Current working directory /mp/slaskdisk/tmp/xenofarm/lyskom-server/lysator.liu.se/buildtmp/dist/lyskom-server-2.0.7/doc
*** Error code 1
make: Fatal error: Command failed for target `all-recursive'
Current working directory /mp/slaskdisk/tmp/xenofarm/lyskom-server/lysator.liu.se/buildtmp/dist/lyskom-server-2.0.7
*** Error code 1
make: Fatal error: Command failed for target `all'