wok diff gtkhotkey/receipt @ rev 23249

updated nmon again (14g -> 16m)
author Hans-G?nter Theisgen
date Wed Mar 25 13:33:35 2020 +0100 (2020-03-25)
parents dfc51ce7954a
children 1bd2c6414e5a
line diff
     1.1 --- a/gtkhotkey/receipt	Tue Jan 12 19:09:34 2016 +0200
     1.2 +++ b/gtkhotkey/receipt	Wed Mar 25 13:33:35 2020 +0100
     1.3 @@ -17,6 +17,7 @@
     1.4  compile_rules()
     1.5  {
     1.6  	sed -i 's|<glib/.*h>|<glib.h>|' src/x11/tomboykeybinder.h src/gtk-hotkey-error.h
     1.7 +	sed -i 's|}/doc|}/share/doc|' Makefile*
     1.8  	./configure $CONFIGURE_ARGS &&
     1.9  	make && make install
    1.10  }