From d222c61e351a81ae5c84e4034648551cdcb8e4c5 Mon Sep 17 00:00:00 2001
From: Emile Trotignon <emile@tarides.com>
Date: Tue, 6 Feb 2024 16:34:25 +0100
Subject: [PATCH] update readme with dune trick

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 240aaca1..542e4e4e 100644
--- a/README.md
+++ b/README.md
@@ -36,7 +36,7 @@ $ opam install ancient
 $ export SHERLODOC_DB=/tmp/sherlodoc.ancient
 
 # index all odoc files generated by odig for your current switch:
-$ sherlodoc index $(find $OPAM_SWITCH_PREFIX/var/cache/odig/odoc -name '*.odocl')
+$ sherlodoc index $(find $OPAM_SWITCH_PREFIX/var/cache/odig/odoc -name '*.odocl' | grep -v __)
 ```
 
 Enjoy searching from the command-line or run the webserver:
@@ -70,7 +70,7 @@ Otherwise, manual integration with odoc requires to add to every call of `odoc h
 
 ```bash
 $ sherlodoc index --db=_build/default/_doc/_html/YOUR_LIB/db.js \
-    $(find _build/default/_doc/_odocls/YOUR_LIB -name '*.odocl')
+    $(find _build/default/_doc/_odocls/YOUR_LIB -name '*.odocl' | grep -v __)
 
 $ sherlodoc js > _build/default/_doc/_html/sherlodoc.js
 ```