mirror
/
ede
mirror of https://github.com/edeproject/ede.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Do not handle manual for now.

This commit is contained in:
Sanel Zukan 2018-05-22 14:01:57 +02:00
parent 5489ef0b70
commit a04496c7f0
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Jamfile
View File

@ -10,7 +10,7 @@
SubDir TOP ;
EdeManualWithToc README ;
# EdeManualWithToc README ;
Clean distclean : $(JCACHEFILE) $(HCACHEFILE) ;