build: remove duplicate `--with-docs' switch
1 file changed