mirror of
https://github.com/brmlab/povoden.git
synced 2025-06-09 02:34:00 +02:00
ocd
This commit is contained in:
parent
dd71abbd8f
commit
dc8d96e47b
3 changed files with 2 additions and 4 deletions
2
Makefile
2
Makefile
|
@ -1,4 +1,4 @@
|
|||
.PHONY : clean refresh
|
||||
.PHONY: clean refresh refreshdpp
|
||||
|
||||
HAML=haml
|
||||
XMLLINT=xmllint --html --nowarning
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue