+$(TEXTARGETS):
+
+all:
+ @$(MAKE) -s hyperref_1.pdf
+ @$(ECHO) '--------------------'
+ @$(MAKE) -s hyperref_2.pdf
+
+hyperref_1.pdf: rebase
+ @$(ECHO) '---------- $@: $^ ----------'
+ @$(MAKE) -s hyperref.pdf
+ @$(CP) -v hyperref.pdf $@
+
+hyperref_2.pdf: update
+ @$(ECHO) '---------- $@: $^ ----------'
+ @$(MAKE) -s hyperref.pdf
+ @$(CP) -v hyperref.pdf $@
+
+update: hyperref.tex.6th.patch
+ @$(PATCH) <$<