Make documentation build works outside of git repository
authorJean Baptiste Favre <debian@jbfavre.org>
Thu, 29 Jun 2023 15:41:23 +0000 (16:41 +0100)
committerAdrian Bunk <bunk@debian.org>
Thu, 29 Jun 2023 15:41:23 +0000 (16:41 +0100)
commit3e82c02f96c32ce3fe4f5e3a09108a482f99bf08
tree39817145573a0dfb3a1981f8bbd8bd9c7d6f0f1d
parent26d31d4f3f5ce8615424813b71314cd34b142c4c
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