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:312: Unmatched `@end'.
protocol-a.texi:398: No matching `@end ifnottex'.
protocol-a.texi:402: Unknown command `insertcopying'.
protocol-a.texi:404: Unmatched `@end'.
protocol-a.texi:406: No matching `@end ifnottex'.
protocol-a.texi:409: Unmatched `@end'.
protocol-a.texi:1032: Unknown command `anchor'.
protocol-a.texi:1032: Misplaced {.
protocol-a.texi:1032: Misplaced }.
protocol-a.texi:1033: Unknown command `anchor'.
protocol-a.texi:1033: Misplaced {.
protocol-a.texi:1033: Misplaced }.
protocol-a.texi:1034: Unknown command `anchor'.
protocol-a.texi:1034: Misplaced {.
protocol-a.texi:1034: Misplaced }.
protocol-a.texi:1035: Unknown command `anchor'.
protocol-a.texi:1035: Misplaced {.
protocol-a.texi:1035: Misplaced }.
protocol-a.texi:1047: Unknown command `anchor'.
protocol-a.texi:1047: Misplaced {.
protocol-a.texi:1047: Misplaced }.
protocol-a.texi:1079: Unknown command `anchor'.
protocol-a.texi:1079: Misplaced {.
protocol-a.texi:1079: Misplaced }.
protocol-a.texi:1108: Unknown command `anchor'.
protocol-a.texi:1108: Misplaced {.
protocol-a.texi:1108: Misplaced }.
protocol-a.texi:1158: Unknown command `anchor'.
protocol-a.texi:1158: Misplaced {.
protocol-a.texi:1158: Misplaced }.
protocol-a.texi:1178: Unknown command `anchor'.
protocol-a.texi:1178: Misplaced {.
protocol-a.texi:1178: Misplaced }.
protocol-a.texi:1213: Unknown command `anchor'.
protocol-a.texi:1213: Misplaced {.
protocol-a.texi:1213: Misplaced }.
protocol-a.texi:1489: Unknown command `anchor'.
protocol-a.texi:1489: Misplaced {.
protocol-a.texi:1489: Misplaced }.
protocol-a.texi:1521: Unknown command `anchor'.
protocol-a.texi:1521: Misplaced {.
protocol-a.texi:1521: Misplaced }.
protocol-a.texi:1533: Unknown command `anchor'.
protocol-a.texi:1533: Misplaced {.
protocol-a.texi:1533: Misplaced }.
protocol-a.texi:1534: Unknown command `anchor'.
protocol-a.texi:1534: Misplaced {.
protocol-a.texi:1534: Misplaced }.
protocol-a.texi:1535: Unknown command `anchor'.
protocol-a.texi:1535: Misplaced {.
protocol-a.texi:1535: Misplaced }.
protocol-a.texi:1555: Unknown command `anchor'.
protocol-a.texi:1555: Misplaced {.
protocol-a.texi:1555: Misplaced }.
protocol-a.texi:1556: Unknown command `anchor'.
protocol-a.texi:1556: Misplaced {.
protocol-a.texi:1556: Misplaced }.
protocol-a.texi:1573: Unknown command `anchor'.
protocol-a.texi:1573: Misplaced {.
protocol-a.texi:1573: Misplaced }.
protocol-a.texi:1574: Unknown command `anchor'.
protocol-a.texi:1574: Misplaced {.
protocol-a.texi:1574: Misplaced }.
protocol-a.texi:1575: Unknown command `anchor'.
protocol-a.texi:1575: Misplaced {.
protocol-a.texi:1575: Misplaced }.
protocol-a.texi:1576: Unknown command `anchor'.
protocol-a.texi:1576: Misplaced {.
protocol-a.texi:1576: Misplaced }.
protocol-a.texi:1678: Unknown command `anchor'.
protocol-a.texi:1678: Misplaced {.
protocol-a.texi:1678: Misplaced }.
protocol-a.texi:1679: Unknown command `anchor'.
protocol-a.texi:1679: Misplaced {.
protocol-a.texi:1679: Misplaced }.
protocol-a.texi:1680: Unknown command `anchor'.
protocol-a.texi:1680: Misplaced {.
protocol-a.texi:1680: Misplaced }.
protocol-a.texi:1746: Unknown command `anchor'.
protocol-a.texi:1746: Misplaced {.
protocol-a.texi:1746: Misplaced }.
protocol-a.texi:1763: Unknown command `anchor'.
protocol-a.texi:1763: Misplaced {.
protocol-a.texi:1763: Misplaced }.
protocol-a.texi:1764: Unknown command `anchor'.
protocol-a.texi:1764: Misplaced {.
protocol-a.texi:1764: Misplaced }.
protocol-a.texi:1789: Unknown command `anchor'.
protocol-a.texi:1789: Misplaced {.
protocol-a.texi:1789: Misplaced }.
protocol-a.texi:1810: Unknown command `anchor'.
protocol-a.texi:1810: Misplaced {.
protocol-a.texi:1810: Misplaced }.
protocol-a.texi:1902: Unknown command `anchor'.
protocol-a.texi:1902: Misplaced {.
protocol-a.texi:1902: Misplaced }.
protocol-a.texi:1922: Unknown command `anchor'.
protocol-a.texi:1922: Misplaced {.
protocol-a.texi:1922: 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'