diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 25e262d074551a616c5d65ad5874871afb936137..1791ec502b0b0f310614f177ea25670f65edb101 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -4,8 +4,6 @@ on:
         branches:
         - master
     pull_request:
-        paths-ignore:
-        - 'doc/*.rst'
     schedule:
         - cron:  '17 3 * * 0'
 
diff --git a/doc/misc.rst b/doc/misc.rst
index b0f6283a6610255ee00ea1e9a6f183736471f517..9953b2be6879401ba6d79621d3f2def221a90f8f 100644
--- a/doc/misc.rst
+++ b/doc/misc.rst
@@ -33,7 +33,12 @@ MacOS support is in the works.
 
 #.  Type the following command::
 
-        hash -r; for i in pymbolic cgen genpy modepy pyvisfile loopy meshmode dagrt leap grudge; do python -m pip install git+https://gitlab.tiker.net/inducer/$i.git; done
+        hash -r; for i in pymbolic cgen genpy modepy pyvisfile loopy meshmode dagrt leap grudge; do python -m pip install --editable "git+https://gitlab.tiker.net/inducer/$i.git#egg=$i"; done
+
+.. note::
+
+    In each case, you may leave out the ``--editable`` flag if you would not like
+    an editable copy of the source code checked out in a subfolder.
 
 Next time you want to use `grudge`, just run the following command::