From 9cdd01eea0ef6f68fdfcf582e7d05e0f684ff60c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20Rodr=C3=ADguez?= <deivid.rodriguez@riseup.net>
Date: Wed, 15 Jan 2020 10:16:39 +0100
Subject: Add a note about rebuilding documentation

---
 .github/PULL_REQUEST_TEMPLATE.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md
index 0b3dc2a218..a721e8bf0d 100644
--- a/.github/PULL_REQUEST_TEMPLATE.md
+++ b/.github/PULL_REQUEST_TEMPLATE.md
@@ -1,5 +1,10 @@
 <!--
 Thanks so much for the contribution!
+
+If you're updating documentation, make sure you run `bin/rake man:build` and
+squash the result into your changes, so that all documentation formats are
+updated.
+
 To make reviewing this PR a bit easier, please fill out answers to the following questions.
 -->
 
-- 
cgit v1.2.1