Re-add the docs option

To make the docs-location fix work an option docs has to be defined,
otherwise make package fails.