Make documentation build works outside of git repository
authorJean Baptiste Favre <debian@jbfavre.org>
Sat, 15 Feb 2025 22:30:52 +0000 (23:30 +0100)
committerDaniel Leidert <dleidert@debian.org>
Sat, 15 Feb 2025 22:30:52 +0000 (23:30 +0100)
commitf601b765c12f8a90a525b3a7cc16f6f73b523e4f
tree322c445345df037e76bf96a17a5a08275cf99f9b
parent7fe753cf194f58fecdfe0d89d028dac069b51fd1
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