Make documentation build works outside of git repository
authorJean Baptiste Favre <debian@jbfavre.org>
Tue, 1 Sep 2020 17:55:21 +0000 (18:55 +0100)
committerJean Baptiste Favre <debian@jbfavre.org>
Tue, 1 Sep 2020 17:55:21 +0000 (18:55 +0100)
commit7580e95fdd60a00903fa64fb9ff3426a3e3d77d3
tree2324cfc44a25134d9dd7868c32cb33ce0fd75c9b
parentda090348d505121a427f7a7ccf7107927a42b8cd
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