[Gsrc-commit] trunk r4476: gnulib , adjust doc make line

[Carl Hansen]

------------------------------------------------------------
revno: 4476
revision-id: address@hidden
parent: address@hidden
committer: address@hidden
branch nick: trunk
timestamp: Sat 2017-05-13 21:52:47 -0700
message:
  gnulib , adjust doc make line
modified:
  pkg/gnu/gnulib/Makefile        makefile-20160617014725-uokjfnggs70iry9h-828

=== modified file 'pkg/gnu/gnulib/Makefile'
--- a/pkg/gnu/gnulib/Makefile   2017-03-25 01:36:10 +0000
+++ b/pkg/gnu/gnulib/Makefile   2017-05-14 04:52:47 +0000
@@ -60,7 +60,12 @@
        ln -s  `realpath ./gnulib/gnulib-tool`  $(prefix)/bin
        echo local copy is here, gnulib-tool and gnulib.info are only 
installations 
 
+
+
 gitpull:
        (cd gnulib; git pull)
 
+redodoc:
+       make -C ./gnulib/doc
+