Make documentation build works outside of git repository
authorJean Baptiste Favre <debian@jbfavre.org>
Thu, 2 Nov 2023 16:00:26 +0000 (17:00 +0100)
committerJean Baptiste Favre <debian@jbfavre.org>
Thu, 2 Nov 2023 16:00:26 +0000 (17:00 +0100)
commita45f0228e4db235c1e492219e22809b8799437c9
treefdd0601f37fbd3735495d9cf5b8689b5db873400
parentd187c906620179ed9a1291ba8acbb537bf94f832
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