diff options
author | Nils Gillmann <ng0@n0.is> | 2018-03-31 11:07:50 +0000 |
---|---|---|
committer | Nils Gillmann <ng0@n0.is> | 2018-03-31 11:07:50 +0000 |
commit | b6cf770ab68030d2ba6d7c2c9ed0a5655de4f1d6 (patch) | |
tree | b5e4e666e354c83844e20865958b986aac662f91 /pkgconfig | |
parent | c60051643fe8bc3e6ec4dcc6dc28d1fc03bfe740 (diff) | |
download | gnunet-b6cf770ab68030d2ba6d7c2c9ed0a5655de4f1d6.tar.gz gnunet-b6cf770ab68030d2ba6d7c2c9ed0a5655de4f1d6.zip |
Add condition to toplevel Makefile to support building just the documentation. Cornercase for special occasions.
Signed-off-by: Nils Gillmann <ng0@n0.is>
Diffstat (limited to 'pkgconfig')
0 files changed, 0 insertions, 0 deletions