Copy files generated by yacc to cgi-bin

diff --git a/update b/update
index 4f62f6407b123ad8a710bab2861a3d3160296499..9bf0ec93ee6699c3c542e0d12042517328918a3d 100755 (executable)
--- a/update
+++ b/update
@@ -24,7 +24,7 @@ web="`git config --get --path remote.web.url`" &&
 rsync -ahP "$current"/html/html.py "$current"/html/html.tmpl \
            "$current"/html/redirect.py "$current"/html/redirect.tmpl html &&
 
-# Save files generated by yacc
+# Copy files generated by yacc
 rsync -ahP "$current"/parser.out "$current"/parsetab.py . &&
 
 cgi="`git config --get --path remote.cgi.url`" &&
@@ -32,6 +32,7 @@ if [ -n "$cgi" ]; then
    umask 022 && cd "$cgi" && git pull origin &&
    rsync -ahP "$current"/html/html.py "$current"/html/html.tmpl \
               "$current"/html/redirect.py "$current"/html/redirect.tmpl html &&
+   rsync -ahP "$current"/parser.out "$current"/parsetab.py . &&
    compyleall
 fi &&