org-build-system: specify makefile-gmake instead of Makefile for proper fontification
authorAchim Gratz <Stromeko@Stromeko.DE>
Mon, 22 Apr 2013 17:58:08 +0000 (19:58 +0200)
committerAchim Gratz <Stromeko@Stromeko.DE>
Mon, 22 Apr 2013 17:58:08 +0000 (19:58 +0200)
commit84fab83e230dc295520002fc039e10131e567786
treeddec2281bd6492dbf4408c38ac4ab554b1eb7aef
parent5c51768c5cab29a9633e7a925ff9eb8f246cb091
org-build-system: specify makefile-gmake instead of Makefile for proper fontification
dev/org-build-system.org