Remove push_docs command
Fix documentation include