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:419: No matching `@end ifnottex'.
protocol-a.texi:423: Unknown command `insertcopying'.
protocol-a.texi:425: Unmatched `@end'.
protocol-a.texi:427: No matching `@end ifnottex'.
protocol-a.texi:430: Unmatched `@end'.
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:1054: Unknown command `anchor'.
protocol-a.texi:1054: Misplaced {.
protocol-a.texi:1054: Misplaced }.
protocol-a.texi:1065: Unknown command `anchor'.
protocol-a.texi:1065: Misplaced {.
protocol-a.texi:1065: Misplaced }.
protocol-a.texi:1076: Unknown command `anchor'.
protocol-a.texi:1076: Misplaced {.
protocol-a.texi:1076: Misplaced }.
protocol-a.texi:1108: Unknown command `anchor'.
protocol-a.texi:1108: Misplaced {.
protocol-a.texi:1108: Misplaced }.
protocol-a.texi:1137: Unknown command `anchor'.
protocol-a.texi:1137: Misplaced {.
protocol-a.texi:1137: Misplaced }.
protocol-a.texi:1187: Unknown command `anchor'.
protocol-a.texi:1187: Misplaced {.
protocol-a.texi:1187: Misplaced }.
protocol-a.texi:1207: Unknown command `anchor'.
protocol-a.texi:1207: Misplaced {.
protocol-a.texi:1207: Misplaced }.
protocol-a.texi:1242: Unknown command `anchor'.
protocol-a.texi:1242: Misplaced {.
protocol-a.texi:1242: Misplaced }.
protocol-a.texi:1520: Unknown command `anchor'.
protocol-a.texi:1520: Misplaced {.
protocol-a.texi:1520: Misplaced }.
protocol-a.texi:1552: Unknown command `anchor'.
protocol-a.texi:1552: Misplaced {.
protocol-a.texi:1552: 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:1566: Unknown command `anchor'.
protocol-a.texi:1566: Misplaced {.
protocol-a.texi:1566: Misplaced }.
protocol-a.texi:1586: Unknown command `anchor'.
protocol-a.texi:1586: Misplaced {.
protocol-a.texi:1586: Misplaced }.
protocol-a.texi:1587: Unknown command `anchor'.
protocol-a.texi:1587: Misplaced {.
protocol-a.texi:1587: 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:1607: Unknown command `anchor'.
protocol-a.texi:1607: Misplaced {.
protocol-a.texi:1607: 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:1711: Unknown command `anchor'.
protocol-a.texi:1711: Misplaced {.
protocol-a.texi:1711: Misplaced }.
protocol-a.texi:1777: Unknown command `anchor'.
protocol-a.texi:1777: Misplaced {.
protocol-a.texi:1777: Misplaced }.
protocol-a.texi:1794: Unknown command `anchor'.
protocol-a.texi:1794: Misplaced {.
protocol-a.texi:1794: Misplaced }.
protocol-a.texi:1795: Unknown command `anchor'.
protocol-a.texi:1795: Misplaced {.
protocol-a.texi:1795: Misplaced }.
protocol-a.texi:1820: Unknown command `anchor'.
protocol-a.texi:1820: Misplaced {.
protocol-a.texi:1820: Misplaced }.
protocol-a.texi:1841: Unknown command `anchor'.
protocol-a.texi:1841: Misplaced {.
protocol-a.texi:1841: Misplaced }.
protocol-a.texi:1933: Unknown command `anchor'.
protocol-a.texi:1933: Misplaced {.
protocol-a.texi:1933: 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'