Kezdőlap Felfedezés Súgó
Bejelentkezés
caryoscelus
/
agda
Figyelés 1
Kedvenc 0
Másolás 0
Fájlok Problémák 0 Beolvasztási kérések 0 Wiki
Fa: 9c190b6ebc
Branch-ok Tag-ek
agda
/
doc
/
user-manual
/
tools
/
Makefile

Makefile 105 B
Előzmények Nyers

12345678 
  1. # Makefile for documentation
    2. 

  2. 

  3. default :
    4. 

  4. 	$(MAKE) -C .. html
    5. 

  5. 	$(MAKE) -C ../../.. user-manual-test
    6. 

  6. 

  7. # EOF
    8. 

  8.