Add comment to remind myself (and anyone else) how to refresh the XFCE

menu.

[originally from svn r9860]

diff --git a/desktop.pl b/desktop.pl
index 18b68ee10363b5a36bc74806520b0d4afdbb512d..151b07579ad4f111665ba54742663d23916bc0cb 100755 (executable)
--- a/desktop.pl
+++ b/desktop.pl
@@ -6,7 +6,8 @@
 # working on the puzzles and want to play your bleeding-edge locally
 # modified and compiled versions, run this script and it will create a
 # collection of desktop files in ~/.local/share/applications where
-# XFCE can pick them up and add them to its main menu.
+# XFCE can pick them up and add them to its main menu. (Be sure to run
+# 'xfdesktop --reload' after running this.)
 #
 # (If you don't use XFCE, patches to support other desktop
 # environments are welcome :-)