diff --git a/tool/build-pdf b/tool/build-pdf index 30faf92..9bc8d64 100755 --- a/tool/build-pdf +++ b/tool/build-pdf @@ -1,3 +1,3 @@ #!/bin/bash -prince build/gobyexample.html -o build/gobyexample.pdf +exec prince build/gobyexample.html -o build/gobyexample.pdf