tree 76f0216106df475b63ec31f30bb715e5cd0563c4
parent 1195734e94f3842db7f9044d581d88494a8440db
author Tim Windelschmidt <tim@monogon.tech> 1736206696 +0100
committer Tim Windelschmidt <tim@monogon.tech> 1736262608 +0000

treewide: replace build/proto_docs with rules_proto_grpc_doc

In a future commit we will use other modules from rules_proto_grpc,
which allows us to remove this custom rule

Change-Id: I00a823de8fb8eb1e3beb5bf2f516d2c92dabc5a0
Reviewed-on: https://review.monogon.dev/c/monogon/+/3746
Tested-by: Jenkins CI
Reviewed-by: Leopold Schabel <leo@monogon.tech>