notion: update to HEAD

x11/notion/patches/patch-man_Makefile

@@ -0,0 +1,12 @@
+Index: man/Makefile
+--- man/Makefile.orig
++++ man/Makefile
+@@ -13,7 +13,7 @@ SHELL=sh -e
+ TARGETS=notion.1 notionflux.1 welcome.txt
+ 
+ MKMAN=$(LUA) ../build/mkman.lua
+-NROFF=nroff -man -Tlatin1
++NROFF=mandoc
+ #FILTERCRAP=perl -p -i -e 's/.\10//g'
+ FILTERCRAP=$(LUA) -e 'io.write((string.gsub(io.read("*a"), ".\8", "")))'
+ LUA_REFVERSION:=$(shell $(LUA) -e 'print(_VERSION:match("[\x25d.]+"))')