Make documentation build works outside of git repository
authorJean Baptiste Favre <debian@jbfavre.org>
Sat, 21 May 2022 19:14:28 +0000 (20:14 +0100)
committerJean Baptiste Favre <debian@jbfavre.org>
Sat, 21 May 2022 19:14:28 +0000 (20:14 +0100)
commitfbfe5ce83024acbbb6fa04ead9f0703f0d1ad698
treea1ca58be1dbf395d14e09b74ff655ba2a00bd5c4
parent12e53193463da65f8b92eb4d1c2b58917c3affb6
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/manpages.py
doc/uml/Makefile.am