Skip to content

Update indent #427

Merged
merged 2 commits into from
Jul 10, 2017
Merged

Update indent #427

merged 2 commits into from
Jul 10, 2017

Conversation

wwwutz
Copy link
Collaborator

@wwwutz wwwutz commented Jul 10, 2017

make man pages great again.

Now indent.1 get created. There is still a bug in the Makefile logic,
but removing the target ( 0 byte file in tar ) quick fixes it.

Signed-off-by: Peter Marquardt <wwwutz@molgen.mpg.de>
@pmenzel pmenzel merged commit c837274 into master Jul 10, 2017
@pmenzel pmenzel deleted the update-indent branch July 10, 2017 10:37
Sign in to join this conversation on GitHub.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants