leonv/bsc-leon-vatthauer
1
0
Fork 0
mirror of https://git8.cs.fau.de/theses/bsc-leon-vatthauer.git synced 2024-05-31 07:28:34 +02:00
Code Issues Projects Releases Packages Wiki Activity

fix makefile

Browse source
This commit is contained in:
Leon Vatthauer 2023-11-22 08:59:46 +01:00
parent fa5c81f587
commit bfb437ea36
Signed by: leonv
SSH key fingerprint: SHA256:G4+ddwoZmhLPRB1agvXzZMXIzkVJ36dUYZXf5NxT+u8
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Makefile
View file

@ -14,7 +14,7 @@ agda: Everything.agda
cp Agda.css public/Agda.css cp Agda.css public/Agda.css
clean: clean:
rm -f src/Everything.agda rm -f Everything.agda
rm -rf public/* rm -rf public/*
find . -name '*.agdai' -exec rm \{\} \; find . -name '*.agdai' -exec rm \{\} \;