Make documentation build works outside of git repository
authorJean Baptiste Favre <debian@jbfavre.org>
Tue, 3 Mar 2020 08:06:18 +0000 (08:06 +0000)
committerJean Baptiste Favre <debian@jbfavre.org>
Tue, 3 Mar 2020 08:06:18 +0000 (08:06 +0000)
commitf47919464dd02de51bb93e732fb39e84a262e27f
tree33defeffdbd871cc84939f2f852840d11755aec9
parent35c509acb048eec72abc673bf54429500ab481a7
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