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