Make documentation build works outside of git repository
authorJean Baptiste Favre <debian@jbfavre.org>
Sun, 22 Nov 2020 17:24:18 +0000 (17:24 +0000)
committerJean Baptiste Favre <debian@jbfavre.org>
Sun, 22 Nov 2020 17:24:18 +0000 (17:24 +0000)
commitfb54e19c35e541849900d53812520e31d9b55ac6
tree370ee1c93f8ed0cb67abc45d3f412e1aafe7c40d
parent41f6d6ab7473e4d1359f111145601763eb0a7657
Make documentation build works outside of git repository

Origin: other
Last-Update: 2019-01-03

Current documentation build requires git and curl to get some stuff from the internet
This patch aims to delete those dependencies, forcing git branch to master,
and using Debian provided plantuml instead of downloading it from apache mirror
Last-Update: 2019-01-03
Gbp-Pq: Name 0006-fix-doc-build.patch
doc/Makefile.am
doc/ext/traffic-server.py
doc/uml/Makefile.am