ahuston-0/hydra
1
0
Fork 0
Code Issues Pull Requests 1 Packages Projects Releases Wiki Activity

Add markdown files for documentation

Browse Source 
projects.xml and declarative-projects.xml were merged with xmllint, and
then I ran that to convert files
for i in *.xml; do pandoc -s -f docbook -t markdown $i -o ${i/xml/md}; done
This commit is contained in:
Ismaël Bouya
2021-02-24 00:25:56 +01:00
parent e072c1d741
commit 9d916877fb
9 changed files with 1170 additions and 34 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
doc/manual/src/about.md Normal file
View File

@ -0,0 +1,6 @@
# Authors
* Eelco Dolstra, Delft University of Technology, Department of Software Technology
* Rob Vermaas, Delft University of Technology, Department of Software Technology
* Eelco Visser, Delft University of Technology, Department of Software Technology
* Ludovic Courtès