also git add html pages
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
This commit is contained in:
parent
6d4f702eac
commit
fa2f49e847
1 changed files with 1 additions and 0 deletions
1
Makefile
1
Makefile
|
@ -117,6 +117,7 @@ test:
|
|||
web: man
|
||||
cp README $(WEBDIR)/$(WEBPAGE)
|
||||
cp -r doc/html/* $(WEBDIR)/$(WEBBASE)/man
|
||||
cd $(WEBDIR) && git add $(WEBBASE)/man
|
||||
cd $(WEBDIR) && git commit -m "cdist update" $(WEBBASE) $(WEBPAGE)
|
||||
cd $(WEBDIR) && make pub
|
||||
|
||||
|
|
Loading…
Reference in a new issue