Make documentation build works outside of git repository
authorJean Baptiste Favre <debian@jbfavre.org>
Wed, 5 Apr 2023 20:24:05 +0000 (21:24 +0100)
committerMarkus Koschany <apo@debian.org>
Wed, 5 Apr 2023 20:24:05 +0000 (21:24 +0100)
commitef314f8cbcd24793e85f1a30357cbe8296489e84
tree54259f35c526776d879800af92fa7222a47ca7bd
parenta6f8d0dcdca2cfd4567901733d97db045b30e952
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