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:397: No matching `@end ifnottex'.
protocol-a.texi:401: Unknown command `insertcopying'.
protocol-a.texi:403: Unmatched `@end'.
protocol-a.texi:405: No matching `@end ifnottex'.
protocol-a.texi:408: Unmatched `@end'.
protocol-a.texi:1029: Unknown command `anchor'.
protocol-a.texi:1029: Misplaced {.
protocol-a.texi:1029: Misplaced }.
protocol-a.texi:1030: Unknown command `anchor'.
protocol-a.texi:1030: Misplaced {.
protocol-a.texi:1030: Misplaced }.
protocol-a.texi:1031: Unknown command `anchor'.
protocol-a.texi:1031: Misplaced {.
protocol-a.texi:1031: Misplaced }.
protocol-a.texi:1032: Unknown command `anchor'.
protocol-a.texi:1032: Misplaced {.
protocol-a.texi:1032: Misplaced }.
protocol-a.texi:1043: Unknown command `anchor'.
protocol-a.texi:1043: Misplaced {.
protocol-a.texi:1043: Misplaced }.
protocol-a.texi:1054: Unknown command `anchor'.
protocol-a.texi:1054: Misplaced {.
protocol-a.texi:1054: Misplaced }.
protocol-a.texi:1086: Unknown command `anchor'.
protocol-a.texi:1086: Misplaced {.
protocol-a.texi:1086: Misplaced }.
protocol-a.texi:1115: Unknown command `anchor'.
protocol-a.texi:1115: Misplaced {.
protocol-a.texi:1115: Misplaced }.
protocol-a.texi:1165: Unknown command `anchor'.
protocol-a.texi:1165: Misplaced {.
protocol-a.texi:1165: Misplaced }.
protocol-a.texi:1185: Unknown command `anchor'.
protocol-a.texi:1185: Misplaced {.
protocol-a.texi:1185: Misplaced }.
protocol-a.texi:1220: Unknown command `anchor'.
protocol-a.texi:1220: Misplaced {.
protocol-a.texi:1220: Misplaced }.
protocol-a.texi:1498: Unknown command `anchor'.
protocol-a.texi:1498: Misplaced {.
protocol-a.texi:1498: Misplaced }.
protocol-a.texi:1530: Unknown command `anchor'.
protocol-a.texi:1530: Misplaced {.
protocol-a.texi:1530: Misplaced }.
protocol-a.texi:1542: Unknown command `anchor'.
protocol-a.texi:1542: Misplaced {.
protocol-a.texi:1542: Misplaced }.
protocol-a.texi:1543: Unknown command `anchor'.
protocol-a.texi:1543: Misplaced {.
protocol-a.texi:1543: Misplaced }.
protocol-a.texi:1544: Unknown command `anchor'.
protocol-a.texi:1544: Misplaced {.
protocol-a.texi:1544: 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:1582: Unknown command `anchor'.
protocol-a.texi:1582: Misplaced {.
protocol-a.texi:1582: Misplaced }.
protocol-a.texi:1583: Unknown command `anchor'.
protocol-a.texi:1583: Misplaced {.
protocol-a.texi:1583: Misplaced }.
protocol-a.texi:1584: Unknown command `anchor'.
protocol-a.texi:1584: Misplaced {.
protocol-a.texi:1584: Misplaced }.
protocol-a.texi:1585: Unknown command `anchor'.
protocol-a.texi:1585: Misplaced {.
protocol-a.texi:1585: Misplaced }.
protocol-a.texi:1687: Unknown command `anchor'.
protocol-a.texi:1687: Misplaced {.
protocol-a.texi:1687: Misplaced }.
protocol-a.texi:1688: Unknown command `anchor'.
protocol-a.texi:1688: Misplaced {.
protocol-a.texi:1688: Misplaced }.
protocol-a.texi:1689: Unknown command `anchor'.
protocol-a.texi:1689: Misplaced {.
protocol-a.texi:1689: Misplaced }.
protocol-a.texi:1755: Unknown command `anchor'.
protocol-a.texi:1755: Misplaced {.
protocol-a.texi:1755: Misplaced }.
protocol-a.texi:1772: Unknown command `anchor'.
protocol-a.texi:1772: Misplaced {.
protocol-a.texi:1772: Misplaced }.
protocol-a.texi:1773: Unknown command `anchor'.
protocol-a.texi:1773: Misplaced {.
protocol-a.texi:1773: Misplaced }.
protocol-a.texi:1798: Unknown command `anchor'.
protocol-a.texi:1798: Misplaced {.
protocol-a.texi:1798: Misplaced }.
protocol-a.texi:1819: Unknown command `anchor'.
protocol-a.texi:1819: Misplaced {.
protocol-a.texi:1819: Misplaced }.
protocol-a.texi:1911: Unknown command `anchor'.
protocol-a.texi:1911: Misplaced {.
protocol-a.texi:1911: 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'