Manual docs tweaks still in preparation for including docs with code pushes
This commit is contained in:
		@@ -131,7 +131,7 @@ gtest-type-util.h in the same directory.
 | 
				
			|||||||
You don't need to worry about regenerating the source files unless you need to
 | 
					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
 | 
					modify them. You would then modify the corresponding `.pump` files and run the
 | 
				
			||||||
'[pump.py](googletest/scripts/pump.py)' generator script. See the
 | 
					'[pump.py](googletest/scripts/pump.py)' generator script. See the
 | 
				
			||||||
[Pump Manual](googletest/g3doc/PumpManual.md).
 | 
					[Pump Manual](googletest/docs/PumpManual.md).
 | 
				
			||||||
 | 
					
 | 
				
			||||||
## Developing Google Mock
 | 
					## Developing Google Mock
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 
 | 
				
			|||||||
		Reference in New Issue
	
	Block a user