Make documentation build works outside of git repository
authorJean Baptiste Favre <debian@jbfavre.org>
Thu, 25 Jun 2020 08:01:51 +0000 (09:01 +0100)
committerJean Baptiste Favre <debian@jbfavre.org>
Thu, 25 Jun 2020 08:01:51 +0000 (09:01 +0100)
commit00b72293d207729e081f74ece226a988f855cc2b
treea4f1d4f689d53d6961c75af406e9497b7e69cf94
parent85258ff7b71b397b5f1865d78fa7394209241533
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