File: 06-ignore-jetty-documentation.patch

package info (click to toggle)
jetty9 9.4.57-1.1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 52,280 kB
  • sloc: java: 442,605; xml: 25,482; javascript: 1,039; sh: 908; jsp: 268; sql: 40; makefile: 16
file content (20 lines) | stat: -rw-r--r-- 465 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
 
From: Emmanuel Bourg <ebourg@apache.org>
Date: Sat, 25 Dec 2021 23:34:46 +0100
Subject: Ignore the documentation module (removed from the upstream tarball
 to save some space)

Forwarded: not-needed
---
 pom.xml | 1 -
 1 file changed, 1 deletion(-)

--- a/pom.xml
+++ b/pom.xml
@@ -224,7 +224,6 @@
     <module>jetty-alpn</module>
     <module>jetty-home</module>
     <module>jetty-bom</module>
-    <module>jetty-documentation</module>
   </modules>
 
   <build>