Make documentation build works outside of git repository
authorJean Baptiste Favre <debian@jbfavre.org>
Sat, 30 Sep 2023 14:35:12 +0000 (15:35 +0100)
committerAdrian Bunk <bunk@debian.org>
Sat, 30 Sep 2023 14:35:12 +0000 (15:35 +0100)
commit06588e3ec3ba5b5a6bae87a2dc95bb9ca5e1edee
treeffcc466c86d8f531aa1e0f91fc861c372ac0935c
parent16515e36dc8d3e2e8de9e3e42cbcbd6346be48c6
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