move the pumping script to googlemock

google · Aug 12, 2019 · 8ad1cb3 · 8ad1cb3
1 parent 341619b
commit 8ad1cb3
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -130,8 +130,8 @@ sense) using a script. For example, the file
 
 You don't need to worry about regenerating the source files unless you need to
 modify them. You would then modify the corresponding `.pump` files and run the
-'[pump.py](googletest/scripts/pump.py)' generator script. See the
-[Pump Manual](googletest/docs/pump_manual.md).
+'[pump.py](googlemock/scripts/pump.py)' generator script. See the
+[Pump Manual](googlemock/docs/pump_manual.md).
 
 ## Developing Google Mock
 

diff --git a/googletest/docs/pump_manual.md → googlemock/docs/pump_manual.md b/googletest/docs/pump_manual.md → googlemock/docs/pump_manual.md
diff --git a/googletest/scripts/pump.py → googlemock/scripts/pump.py b/googletest/scripts/pump.py → googlemock/scripts/pump.py