3 make version.texi/replacement
5 ./gendocs.sh --email gnunet-developers@gnu.org gnunet-c-tutorial "GNUnet C Tutorial" -o "manual/gnunet-c-tutorial"
7 #mkdir gnunet-c-tutorial
8 #mv * gnunet-c-tutorial/
10 #./gendocs.sh --email gnunet-developers@gnu.org gnunet "GNUnet Reference Manual" -o "manual/gnunet"
14 #mv gnunet ../tmp-gnunet
16 #mv ../tmp-gnunet gnunet
17 cp "index.html" manual/