Changeset - 49945f7085b0
Parent rev.
Child rev.
[Not reviewed]
default
0 1 0
Dennis Fink - 10 years ago 2014-07-27 23:01:50
dennis.fink@c3l.lu
Fix makefile
1 file changed with 1 insertions and 1 deletions:
Makefile
1
1
0 comments (0 inline, 0 general)
Makefile
➞
Show inline comments
 
@@ -20,6 +20,6 @@ odt:
 
	@echo "Build finished. The ODT file is named Satzung.odt"
 

			




	
	
	
		
 
html:

			




	
	
	
		
 
	$(RST2HTML) --smart-quotes=yes --no-compact-list $(MAINFILE) $(MAINFILE)

			




	
	
	
		
 
	$(RST2HTML) --smart-quotes=yes --no-compact-list $(MAINFILE) $(HTMLFILE)

			




	
	
	
		
 
	@echo

			




	
	
	
		
 
	@echo "Build finished. The HTML file is named Satzung.html"

			




        

    



    


    



    



      

      





    
    0 comments (0 inline, 0 general)
    





    


  

  







  


    




    








    
        Server instance: saturn-54386
    
    
        This site is powered by
            Kallithea,
        which is
        © 2010–2021 by various authors & licensed under GPLv3.
            – Support