Problem: make doc doesn't work
Solution: Added glue to allow the make doc build