Make documentation build works outside of git repository
authorJean Baptiste Favre <debian@jbfavre.org>
Thu, 15 Jul 2021 19:48:17 +0000 (20:48 +0100)
committerSalvatore Bonaccorso <carnil@debian.org>
Thu, 15 Jul 2021 19:48:17 +0000 (20:48 +0100)
commit5ebf44e9b7803f04b30b277c9d9bf598d5a939fe
treebb970b273a48faa1c0110da749ea50ad6ac246b5
parenta0a73c7de567053e3c244a30977457bb84ff213d
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