Make documentation build works outside of git repository
authorJean Baptiste Favre <debian@jbfavre.org>
Wed, 29 Jul 2020 06:40:43 +0000 (07:40 +0100)
committerJean Baptiste Favre <debian@jbfavre.org>
Wed, 29 Jul 2020 06:40:43 +0000 (07:40 +0100)
commit9dddc20b42514d9bd721606fe4fdfbe141ca8ccb
tree6d39a40689fcaf93b9139e93398d9f379a78113a
parent04eeb68a91cb80232ca0f5489b3a3efc90e464ac
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