Fix build script

1 job for mdbook in 1 minute and 22 seconds