Remove release-docs/ during distclean
commit079360acdf5672de7980c4eeef724b7e81eb7154
authorJonas Fonseca <fonseca@diku.dk>
Sat, 10 Aug 2013 14:21:18 +0000 (10 10:21 -0400)
committerJonas Fonseca <fonseca@diku.dk>
Sat, 10 Aug 2013 14:21:18 +0000 (10 10:21 -0400)
tree7830023b83878fdad146a0db0c9064964ac9443c
parentf9a943afe0236167fc7a7e32c7fcaac4226763c0
Remove release-docs/ during distclean

... and remove obsolte SOURCE variable.
Makefile