Google tracking file for use in updating SEO

[gvnn3]

No description provided.

[jrtc27]

Why do you only want to claim the cover subdirectory? And is it actually automatically picked up by the build? Have you verified the resulting built site?

[gvnn3]

From the directions:

1. Download the file:
2. Upload to: https://ctsrd-cheri.github.io/cheribsd-getting-started/cover/
   To stay verified, don't remove the file, even after verification succeeds.

[gvnn3]

Moving the file into src/cover and running mdbook build results in a book with the file in cover/ as Google suggests. But I'm open to other choices.

[gvnn3]

Bump

[jrtc27]

Why do you only want to claim the cover subdirectory?

This is still unaddressed. Surely you want to claim all of https://ctsrd-cheri.github.io/cheribsd-getting-started/, not just https://ctsrd-cheri.github.io/cheribsd-getting-started/cover/ (which is just the cover page)?

[gvnn3]

I guess I'm wondering why Google suggested cover/ in their instructions. We can certainly try it in the root of course.

[gvnn3]

The book still builds locally, so that's good.