Make documentation build works outside of git repository
authorJean Baptiste Favre <debian@jbfavre.org>
Sun, 6 Dec 2020 15:26:39 +0000 (15:26 +0000)
committerJean Baptiste Favre <debian@jbfavre.org>
Sun, 6 Dec 2020 15:26:39 +0000 (15:26 +0000)
commit548acd64abf77f22f0451d7c1025f3d352d4e599
tree6b6a7aab0833108045ef2fed29787f8b76480683
parentca66654cb18f8e0af7892314ac8e57147d4fadf4
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