add plugin of github.

muink · Oct 11, 2015 · ce3cd13 · ce3cd13
1 parent 245a1a8
commit ce3cd13
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -10,7 +10,7 @@ OS_NAME := $(shell uname)
 
 include Makefile.target
 
-.PHONY: main html cp2clipboard build pdf epub mobi update review push clean
+.PHONY: main html cp2clipboard install build pdf epub mobi update review push clean
 
 main: build review
 
@@ -41,6 +41,9 @@ html: $(md)
  markdown_py $(md) > tmp.html
  chromium tmp.html
 
+install:
+ gitbook install .
+
 build:
  gitbook build .
 

diff --git a/book.json b/book.json
@@ -1,11 +1,18 @@
 {
- "plugins": ["disqus", "ga"],
+ "plugins": [
+ "disqus",
+ "ga",
+ "github"
+ ],
  "pluginsConfig": {
  "disqus": {
  "shortName": "chusiang-working-on-gnu-linux-books"
  },
  "ga": {
  "token": "UA-15084346-2"
+ },
+ "github": {
+ "url": "https://github.com/chusiang/working-on-gnu-linux"
  }
  }
 }