compile the documentation on linux, add sh batch file