Permalink
Browse files

New makefile with git commands

  • Loading branch information...
1 parent da37028 commit f14a8905d1779988912e4d0d25a3564aada3b349 @laurentbartholdi committed Oct 15, 2012
Showing with 4 additions and 7 deletions.
  1. +4 −7 cnf/Makefile.in
View
@@ -91,19 +91,16 @@ mrproper: clean
.version: PackageInfo.g
grep '^Version :=' $< | awk -F'"' '{print $$2}' > $@
-wwwdir: .version tarballs
- git checkout gh-pages
- git rebase master
- git commit -am 'New html files'
- git push
-
doc: doc/chap0.html
doc/chap0.html: doc/fr.xml doc/frbib.xml gap/algebra.gd gap/frelement.gd \
gap/group.gd gap/img.gd gap/perlist.gd gap/vector.gd gap/examples.gd \
gap/frmachine.gd gap/helpers.gd gap/mealy.gd gap/trans.gd
-
+ git checkout gh-pages
+ git rebase master
echo 'LoadPackage("fr"); DOC@FR();' | $(GAPPROG) -r -q
+ git commit -am 'New html files'
+ git push
checkblocks:
grep '<#GAPDoc' PackageInfo.g gap/*d | awk -F'"' '{print $$2}' | sort > @@-blocks

0 comments on commit f14a890

Please sign in to comment.