Make documentation build works outside of git repository
authorJean Baptiste Favre <debian@jbfavre.org>
Fri, 12 Aug 2022 07:16:08 +0000 (08:16 +0100)
committerJean Baptiste Favre <debian@jbfavre.org>
Fri, 12 Aug 2022 07:16:08 +0000 (08:16 +0100)
commitf853d24da96d618087cdbf3278d115347b5cd148
tree47902c6fee58991ffda97d0ebc9c227f8b1cef9a
parent921d4ea62d7bdaa59119c04293e1d990d2cea95e
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