Make documentation build works outside of git repository
authorJean Baptiste Favre <debian@jbfavre.org>
Mon, 3 Feb 2020 10:45:17 +0000 (10:45 +0000)
committerJean Baptiste Favre <debian@jbfavre.org>
Mon, 3 Feb 2020 10:45:17 +0000 (10:45 +0000)
commit97e263cecff965c05d20f4ef4273c7992d2323ed
tree5dc08e114eb158f746e8b552cd06e2ea980b20d5
parentc4fc83130bed5dbfde8dc8b7245e65bd493c5f25
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