deploy: ece84f2c450d986e54acc80971225fb02f4e1d05

1 files changed, 1 insertions, 1 deletions

diff --git a/develop/development/database_schema.html b/develop/development/database_schema.html

index 3f4b14529f..218b677407 100644
--- a/develop/development/database_schema.html
+++ b/develop/development/database_schema.html
@@ -263,7 +263,7 @@ has had all background updates run.</p>
 <p>To do so, use <code>scripts-dev/make_full_schema.sh</code>. This will produce new
 <code>full.sql.postgres</code> and <code>full.sql.sqlite</code> files.</p>
 <p>Ensure postgres is installed, then run:</p>
-<pre><code>./scripts-dev/make_full_schema.sh -p postgres_username -o output_dir/
+<pre><code class="language-sh">./scripts-dev/make_full_schema.sh -p postgres_username -o output_dir/
 </code></pre>
 <p>NB at the time of writing, this script predates the split into separate <code>state</code>/<code>main</code>
 databases so will require updates to handle that correctly.</p>