Skip to content
  • Martin Kepplinger's avatar
    fix install directory handling for git and builds · 371b65ff
    Martin Kepplinger authored
    The install directly should basically behave like the "build" directory.
    Since it's tracked by git, containing a gitignore file, we shouldn't
    have it in the toplevel gitignore (just like the build directory).
    
    But then, the toplevel Makefile's real.clean target removes the install
    directory. This is changed so that only it's content is being removed.
    371b65ff