# HG changeset patch
# User Jeff Hammel <jhammel@mozilla.com>
# Date 1344550346 25200
# Node ID b33d0c78132caf2ab1991c20b69b871b39d372cd
# Parent  1ff683ac0487ee5b7d5845a68ade6ded01e5a03d
move menu regeneration to its own function

diff -r 1ff683ac0487 -r b33d0c78132c .bashrc
--- a/.bashrc	Thu Aug 09 13:04:17 2012 -0700
+++ b/.bashrc	Thu Aug 09 15:12:26 2012 -0700
@@ -359,7 +359,11 @@
 
 ### regenerate fluxbox menus here for convenience
 MENU=~/web/site/programs.html
+regeneratefluxmenu() {
 if [ -e $MENU ]
 then
     html2flux.py $MENU > ~/.fluxbox/applications
 fi
+}
+
+regeneratefluxmenu