Make documentation build works outside of git repository
authorJean Baptiste Favre <debian@jbfavre.org>
Wed, 21 Jun 2023 09:16:56 +0000 (10:16 +0100)
committerJean Baptiste Favre <debian@jbfavre.org>
Wed, 21 Jun 2023 09:16:56 +0000 (10:16 +0100)
commitc42dda1b1d850593ae678bf58a7b954e6affae7e
tree104c592ed1296e2930151259e2a08c2e1ae34bb4
parent9891b64f7b1883466761d578d001919d97e21e6d
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