T2JRI5RR45UVDHM5JDYPNZHHTH72CU5XQLASHKX44SAHDTS6BODAC
U6MQV7QLUM3VEOU32JSPSBFEZW5PA4M2K27QCLMSIZMHQCXZKGOQC
JXLJS4RIPIYRR76KMFVH6CL2JJTFUWZPYL5QOP6QG223R6VUAU6QC
T4LLYESZ2HUXSLKZ6GNBLVWUVG7R5IDFHYHYO773QIZ6QTOOXR2AC
echo "doc manual $out/share/doc/hydra" >> \
echo "doc manual $out/share/doc/hydra manual.html" >> \