diff options
| author | Emmanuele Bassi <ebassi@gnome.org> | 2021-03-12 11:10:55 +0000 |
|---|---|---|
| committer | Emmanuele Bassi <ebassi@gnome.org> | 2021-03-12 11:10:55 +0000 |
| commit | a2f35860115e8cd44f07d5158e2df059e8163a08 (patch) | |
| tree | ec64a9033ddc1b567b4f898bd1b2266f6b221304 /tools | |
| parent | 9d35e956dc7e76cde6cd3ef66f880d33e5624f07 (diff) | |
| download | pango-a2f35860115e8cd44f07d5158e2df059e8163a08.tar.gz | |
build: Install documentationinstall-docs
We are building it, but never installing it on the system.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions