aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--README-hacking.md15
1 files changed, 11 insertions, 4 deletions
diff --git a/README-hacking.md b/README-hacking.md
index d944fb0..b57c0f6 100644
--- a/README-hacking.md
+++ b/README-hacking.md
@@ -1522,13 +1522,20 @@ for the benefit of others.
# conflicts" (not detected as a conflict by Git, but may cause a
# crash in your project). You can backup your build directory
# before running the 'distclean' target.
-
- # Any error in the build will be due to changes in Maneage, so look
- # closely at the commits (especially the
-
+ #
+ # Any error in the build will be due to low-level changes in
+ # Maneage, so look closely at the commit messages in the Maneage
+ # branch and especially those where the title starts with
+ # 'IMPORTANT'.
./project make distclean # will DELETE ALL your build-directory!!
./project configure -e
./project make
+
+ # When everything is OK, before continuing with your project's
+ # work, don't forget to push both your 'master' branch and your
+ # updated 'maneage' branch to your remote server.
+ git push
+ git push origin maneage
```
- *Adding Maneage to a fork of your project*: As you and your colleagues