Make documentation build works outside of git repository
authorJean Baptiste Favre <debian@jbfavre.org>
Thu, 26 Sep 2024 13:41:35 +0000 (16:41 +0300)
committerAdrian Bunk <bunk@debian.org>
Thu, 26 Sep 2024 13:41:35 +0000 (16:41 +0300)
commit40c8adb8066ba6bd9d9584db93c49fa5924f0323
treec2d1addf178373a55ab2260bf2cc0eb247e2bb89
parent798b4345a7e4488a2252c9f622bc6b5920dfc34a
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