web commit by bremner

diff --git a/doc/tips/laptop_wiki_with_git/discussion.mdwn b/doc/tips/laptop_wiki_with_git/discussion.mdwn
index dd484f0ac969d4a0b0eff0975bac4d738af3f0df..7881bb4b67e6f321c945f9718b58b693a962bce3 100644 (file)
--- a/doc/tips/laptop_wiki_with_git/discussion.mdwn
+++ b/doc/tips/laptop_wiki_with_git/discussion.mdwn
@@ -1,4 +1,5 @@
 I have followed this idea along, and it seems to work pretty well. 
 Now I have a question as a git newbie. Can I have the post-commit hook on the server use something like rsync to update the files on a third machine hosting the web server?  The web server does not have git (cretins!). Of course I could just run a cron job.
-  
+
+Or, was this last remark about rebuilding after pulling meant to apply to rebuilding after pushing as well?
 - David Bremner