Make documentation build works outside of git repository
authorJean Baptiste Favre <debian@jbfavre.org>
Sun, 5 Nov 2023 19:52:00 +0000 (21:52 +0200)
committerAdrian Bunk <bunk@debian.org>
Sun, 5 Nov 2023 19:52:00 +0000 (21:52 +0200)
commita582befea8f715e8289e82be81fafb619a808a38
tree97e2fd56016f83b26c6477a0653ed851413357b8
parent9385821cae1b8dcf26e336bd206d5df028c847eb
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