                HOPMAN. HOtplug Partition MANager

  This is a tool to let user interactively, on mouse-click, mount/unmount and
  open filesystems on hotplug devices  such as USB memory sticks or SD memory
  cards.
  
  Copyright (C) 2019 Didier Kryn <kryn@in2p3.fr>   --  Seee LICENSE
    
'make'                builds the executable
'make clean'          removes object files, keeps libraries and executable
'sudo make install'   installs executable, default config file, man page, icon                        and launcher
'make cleanall'       removes everything but source files and installed files
'sudo make uninstall' removes installed files

List of installed files:
/usr/bin/hopman
/etc/default/hopmanrc
/usr/share/man/man8/hopman.8.gz \
/usr/share/pixmaps/hopman.png \
/usr/share/applications/hopman.desktop

Suggestion to installers:
sudo make install; make cleanall

Suggestion to users:
Put hopman in the list of applications started at desktop session startup.

Installation of the executable will fail if the application is running.

  Installation dependencies:
   - Linux kernel version newer than 2.2.26
   - GTK+-2 library

  Practical dependencies at run time:
   - applications to mount and unmount filesystems without root permission,
     e.g. pmount/pumount
   - file-manager and terminal-emulator. e.g. thunar and xfce4-terminal
