diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-07-05 17:53:25 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-07-05 17:53:25 -0500 |
| commit | b34f808022ae31c05f4f45d2e432307c5159b24d (patch) | |
| tree | b3ac408cfc78fbf9645fe84dff8e2ae6458584f4 /pcr/htmldoc/useful-build-info.patch | |
| parent | 6006ac3da10bcff2a9d951cfcef97aa765befad2 (diff) | |
htmldoc-1.8.28-1: updating version
Diffstat (limited to 'pcr/htmldoc/useful-build-info.patch')
| -rw-r--r-- | pcr/htmldoc/useful-build-info.patch | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/pcr/htmldoc/useful-build-info.patch b/pcr/htmldoc/useful-build-info.patch deleted file mode 100644 index a6e33d1ef..000000000 --- a/pcr/htmldoc/useful-build-info.patch +++ /dev/null @@ -1,25 +0,0 @@ -Description: Build system patch - This patch makes the build system print useful information in case of - a build failure. -Author: Jeff Licquia <licquia@debian.org> -Forwarded: not-needed -Last-Update: 2011-02-20 - -Index: htmldoc-1.8.27/Makedefs.in -=================================================================== ---- htmldoc-1.8.27.orig/Makedefs.in 2011-02-20 12:18:13.000000000 -0500 -+++ htmldoc-1.8.27/Makedefs.in 2011-02-20 12:18:33.000000000 -0500 -@@ -81,13 +81,10 @@ - # Rules... - # - --.SILENT: - .SUFFIXES: .a .c .cxx .h .o - .c.o: -- echo Compiling $<... - $(CC) $(CFLAGS) -c $< - .cxx.o: -- echo Compiling $<... - $(CXX) $(CXXFLAGS) -c $< - - # |