Fix makefile brittleness.
[arvados.git] / docker / doc /
2013-12-31 Tim PierceFix makefile brittleness.
2013-11-26 Ward VandewegeRename docserver to doc for consistency.