mirror of
https://github.com/edeproject/ede.git
synced 2023-08-10 21:13:03 +03:00
...this file too.
This commit is contained in:
parent
bcd0cc91e6
commit
43e887c41d
@ -10,7 +10,7 @@
|
||||
|
||||
SubDir TOP doc ;
|
||||
|
||||
EdeManual index.txt introduction.txt jambuild.txt ;
|
||||
EdeManual index.txt introduction.txt jambuild.txt hacking.txt ;
|
||||
EdeManualWithToc dbus-usage.txt ;
|
||||
|
||||
MANUAL_FILES = [ Wildcard manual : *.html : manual ] ;
|
||||
|
Loading…
Reference in New Issue
Block a user