Make documentation build works outside of git repository
authorJean Baptiste Favre <debian@jbfavre.org>
Thu, 16 Apr 2020 16:32:04 +0000 (17:32 +0100)
committerJean Baptiste Favre <debian@jbfavre.org>
Thu, 16 Apr 2020 16:32:04 +0000 (17:32 +0100)
commita0e6ecfc513677c8331d0a46708158efb32c18d7
tree20450cbb215f2055f2ca1fac971233c7b3ad182a
parent9bb5253938db7f8ded80c6df5b77ceac4f08c883
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