gbranden pushed a commit to branch master
in repository groff.
commit 6e2d442f329904329daea3452595515a50155a39
Author: G. Branden Robinson <[email protected]>
AuthorDate: Wed Jul 10 09:24:43 2024 -0500
INSTALL.REPO: Expand rebuilding advice.
---
INSTALL.REPO | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/INSTALL.REPO b/INSTALL.REPO
index cea115888..7404a2022 100644
--- a/INSTALL.REPO
+++ b/INSTALL.REPO
@@ -126,7 +126,8 @@ See "Uninstalling" in the 'INSTALL.extra' file.
Rebuilding
----------
-Start over from "Building" above.
+If you have "git pull"ed since your previous build or otherwise changed
+the code, run "make distclean". Then start over from "Building" above.
##### Editor settings
_______________________________________________
Groff-commit mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/groff-commit
