Changeset b75671d for doc/Makefile


Ignore:
Timestamp:
2015-06-17T22:47:26Z (9 years ago)
Author:
Wilmer van der Gaast <wilmer@…>
Children:
b441614
Parents:
d832164 (diff), 2f99f23 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge remote-tracking branch 'origin/master' into parson

File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/Makefile

    rd832164 rb75671d  
    55
    66all:
    7         # Only build the docs if this is a git tree
    8         test ! '(' -d ../.git -o -d ../.bzr ')' || $(MAKE) -C user-guide
     7        $(MAKE) -C user-guide
    98
    109install:
Note: See TracChangeset for help on using the changeset viewer.